Helmut Schmidt Werner Kießling Ulrich Güntzer Rudolf Bayer DBA*: Solving Combinatorial Problems with Deductive Databases. 196-215 1989 BTW db/conf/btw/btw89.html#SchmidtKGB89