A Scheme for Integrating Concrete Domains

Cite this paper

@inproceedings{Baader1991ASF, title={A Scheme for Integrating Concrete Domains}, author={Franz Baader and Philipp Hanschke}, year={1991} }