Alan M. Frisch
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning
KR, 1989.
@inproceedings{KR-1989-Frisch,
author = "Alan M. Frisch",
booktitle = "{Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-032-9",
pages = "126--136",
publisher = "{Morgan Kaufmann}",
title = "{A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning}",
year = 1989,
}