Martin Staudt, Kai von Thadden. A Generic Subsumption Testing Toolkit for Knowledge Based Queries. In Roland Wagner, Helmut Thoma, editors, Database and Expert Systems Applications, 7th International Conference, DEXA 96, Zurich, Switzerland, September 9-13, 1996, Proceedings. Volume 1134 of Lecture Notes in Computer Science, pages 834-844, Springer, 1996.
@inproceedings{StaudtT96,
title = {A Generic Subsumption Testing Toolkit for Knowledge Based Queries},
author = {Martin Staudt and Kai von Thadden},
year = {1996},
tags = {rule-based, testing},
researchr = {https://researchr.org/publication/StaudtT96},
cites = {0},
citedby = {0},
pages = {834-844},
booktitle = {Database and Expert Systems Applications, 7th International Conference, DEXA 96, Zurich, Switzerland, September 9-13, 1996, Proceedings},
editor = {Roland Wagner and Helmut Thoma},
volume = {1134},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61656-X},
}