Detecting Semantic Violations in Generalised Classification Structures.

Stephen Blott, Moira C. Norrie, David J. Harper, Andrew D. M. Walker

Browse the full CoopIS paper archive.