Gerhard Wetzel Francesca Toni Semantic Query Optimization through Abduction and Constraint Handling. 366-381 http://link.springer.de/link/service/series/0558/bibs/1495/14950366.htm 1998 conf/fqas/1998 FQAS db/conf/fqas/fqas98.html#WetzelT98