@article{DBLP:journals/jitr/KlinovPP11,
author = {Pavel Klinov and
Bijan Parsia and
David Picado-Mui{\~n}o},
title = {The Consistency of the Medical Expert System CADIAG-2: A
Probabilistic Approach},
journal = {JITR},
volume = {4},
number = {1},
year = {2011},
pages = {1-20},
ee = {http://dx.doi.org/10.4018/jitr.2011010101},
bibsource = {DBLP, http://dblp.uni-trier.de}
}