@inproceedings{kaneiwa01,
author="K. Kaneiwa and S. Tojo",
title="An Order-sorted Resolution with Implicitly Negative Sorts",
booktitle="Proceedings of the 2001 Int. Conf. on Logic Programming",
note="LNCS 2237",
publisher="Springer",
pages="300-314",
year="2001"}