@InProceedings{kane2004c, author = "K. Kaneiwa", title = "A Hybrid Reasoning System for Terminologies and Clause Sets", booktitle = "Proceedings of the Twenty-Second IASTED International Multi-Conference on Applied Informatics", year = "2004", % publisher = "", % pages = "", }