Paolo Bouquet, Fausto Giunchiglia. Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. Fundamenta Informaticae, 23(2/3/4):247-262, 1995.
@article{BouquetG95:0,
title = {Reasoning about Theory Adequacy. A New Solution to the Qualification Problem},
author = {Paolo Bouquet and Fausto Giunchiglia},
year = {1995},
researchr = {https://researchr.org/publication/BouquetG95%3A0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {23},
number = {2/3/4},
pages = {247-262},
}