Paolo Bouquet Fausto Giunchiglia Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem. 39-50 1995 WOCFAI db/conf/wocfai/wocfai1995.html#BouquetG95