@misc{indiciae559ad43f67ae, title = {What is an Optimal Diagnosis?}, author = {David L. Poole and Gregory M. Provan}, year = {2013}, url = {https://arxiv.org/abs/1304.1087}, note = {Source identifier: 1304.1087} }