Stefan Schlobach Zhisheng Huang Ronald Cornet Frank van Harmelen Debugging Incoherent Terminologies. 317-349 2007 39 J. Autom. Reasoning 3 http://dx.doi.org/10.1007/s10817-007-9076-z db/journals/jar/jar39.html#SchlobachHCH07