@inproceedings{DBLP:conf/cade/Socher88,
author = {Rolf Socher},
title = {A Subsumption Algorithm Based on Characteristic Matrices},
booktitle = {CADE},
year = {1988},
pages = {573-581},
ee = {http://dx.doi.org/10.1007/BFb0012858},
crossref = {DBLP:conf/cade/1988},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cade/1988,
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {9th International Conference on Automated Deduction, Argonne,
Illinois, USA, May 23-26, 1988, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {310},
year = {1988},
isbn = {3-540-19343-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
