Bernhard Thalheim Logics and Database Modelling. 6-21 1999 ICLP db/conf/iclp/iclp99.html#Thalheim99