@inproceedings{a27a1b0418c8404e91d8a486855c0c02,
title = "Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation",
keywords = "Wiskunde en Informatica (WIIN)",
author = "A. Verberne and {van Harmelen}, F. and {ten Teije}, A.C.M.",
year = "2000",
language = "Undefined/Unknown",
pages = "323--332",
editor = "A. Cohn",
booktitle = "Proceedings of the Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning KR2000",
publisher = "Morgan Kaufmann Publishers Inc",
}