Peter Baumgartner Ulrich Furbach Margret Groß-Hardt Thomas Kleemann Model Based Deduction for Database Schema Reasoning. 168-182 http://dx.doi.org/10.1007/978-3-540-30221-6_14 2004 conf/ki/2004 KI db/conf/ki/ki2004.html#BaumgartnerFGK04