@phdthesis{kaneiwa-phd,
author="K. Kaneiwa",
title="An Order-Sorted Logic with Predicate Hierarchy, Eventuality, 
and Implicit Negation",
school="Japan Advanced Institute of
Science and Technology", year="2001"}