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

Paolo Bouquet, Fausto Giunchiglia. Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. Fundamenta Informaticae, 23(2/3/4):247-262, 1995.

Possibly Related Publications

The following publications are possibly variants of this publication: