@Incollection{hitzler2005asmfbi, author = "Pascal Hitzler and Karl Fritsche", booktitle = "Begabtenf{\"o}rderung im MINT-Bereich Band 12", isbn = "3-87005-067-5", pages = "57-62", publisher = "Aegis-Verlag, Ulm", title = "Automatisiertes Schlie{\ss}en mit formalen Begriffen: Implementierung", year = "2005", }