@InProceedings{tenTeije:96KR,

author = "A. ten Teije and F. van Harmelen",
title = "Computing approximate diagnoses by using approximate entailment",
booktitle = "Proc. of the Fifth Int. Conference on Principles of Knowledge Representation and Reasoning ({KR'96})",
year = 1996,
address = "Boston, Massachusetts",
month = "November"
publisher = "Morgan Kaufman"
editor = "G. Aiello and J. Doyle" }