Ken Kaneiwa, Satoshi Tojo
Event, Property, and Hierarchy in Order-Sorted Logic
ICLP, 1999.
@inproceedings{ICLP-1999-KaneiwaT,
author = "Ken Kaneiwa and Satoshi Tojo",
booktitle = "{Proceedings of the 15th International Conference on Logic Programming}",
isbn = "0-262-54104-1",
pages = "94--108",
publisher = "{MIT Press}",
title = "{Event, Property, and Hierarchy in Order-Sorted Logic}",
year = 1999,
}