Reasoning about Theory Adequacy. A New Solution to the Qualification Problem (1995)

by P Bouquet, F Giunchiglia
Venue:Fundamenta Informaticae