Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (1998). Rechnen in sortierter Prädikatenlogik. In H., Fiedler, P., Gorny, W., Grass, S., Hölldobler, G., Hotz, I. O., Kerner, & R., Reischuk (Eds.), Ausgezeichnete Informatikdissertationen 1997 (pp. 183-197). Stuttgart, Germany: Teubner.