@bookKleine Büning_Lettmann_1994, series=Leitfäden und Monographien der Informatik, title=Aussagenlogik - Deduktion und Algorithmen, DOI=10.1007/978-3-322-84809-3, publisher=Teubner, author=Kleine Büning, Hans and Lettmann, Theodor, year=1994, collection=Leitfäden und Monographien der Informatik