Paolo Bouquet Fausto Giunchiglia Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. 247-262 1995 23 Fundam. Inform. 2/3/4 db/journals/fuin/fuin23.html#BouquetG95