Toni Bollinger, Udo Pletat
An Order-Sorted Logic with Sort Literals and Disjointness Constraints
KR, 1992.
@inproceedings{KR-1992-BollingerP,
author = "Toni Bollinger and Udo Pletat",
booktitle = "{Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-262-3",
pages = "413--424",
publisher = "{Morgan Kaufmann}",
title = "{An Order-Sorted Logic with Sort Literals and Disjointness Constraints}",
year = 1992,
}