@inproceedings{kaneiwa99, author="K. Kaneiwa and S. Tojo", title="Event, Property, and Hierarchy in Order-Sorted logic", booktitle="Proceedings of the 1999 Int. Conf. on Logic Programming", publisher="The MIT Press", pages="94-108", year="1999"}