Event, Property, and Hierarchy in Order-Sorted Logic.

Ken Kaneiwa Satoshi Tojo Event, Property, and Hierarchy in Order-Sorted Logic. 94-108 1999 ICLP db/conf/iclp/iclp99.html#KaneiwaT99