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

Ken Kaneiwa, Satoshi Tojo

Browse the full ICLP paper archive.