Anthony G. Cohn
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning
KR, 1989.
@inproceedings{KR-1989-Cohn, author = "Anthony G. Cohn", booktitle = "{Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning}", isbn = "1-55860-032-9", pages = "55--66", publisher = "{Morgan Kaufmann}", title = "{On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning}", year = 1989, }