@article{Schütte_1978, title={Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität}, volume={4}, url={https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3173}, number={1}, journal={Acta Cybernetica}, author={Schütte, Kurt}, year={1978}, month={Jan.}, pages={141-148} }