Detecting Inconsistencies in Large First-Order Knowledge Bases.

Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease

Browse the full CADE paper archive.