Reasoning about theory adequacy: A new solution to the quali problem (1995)

by P Bouquet, F Giunchiglia
Venue:Fundamenta Informaticae