Fabrizio Angiulli: Enumerating consistent metaquery instantiations. AI Commun. 18(2): 117-141 (2005)