Werner Kießling Ulrich Güntzer Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption. 118-138 1994 conf/iski/1994 IS/KI db/conf/iski/iski94.html#KiesslingG94 http://dx.doi.org/10.1007/3-540-57802-1_7