Baumgartner, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Frühwirth, Thom Max Planck Society;
Baumgartner, P., Furbach, U., Gross-Hardt, M., & Kleemann, T. (2004). Model Based Deduction for Database Schema Reasoning. In KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004 (pp. 168-182). Berlin, Germany: Springer.