Leonid Libkin A Semantics-based Approach to Design of Query Languages for Partial Information. 170-208 1995 conf/sdb/1995 Semantics in Databases db/conf/sdb/sdb95.html#Libkin95 http://dx.doi.org/10.1007/BFb0035009