Generating relevant models

A. Ramsay
DOI: https://doi.org/10.1007/BF00249019
1991-09-01
Journal of Automated Reasoning
Abstract:
What problem does this paper attempt to address?