Contradiction Detection and Repair in a Large Theory.

Adam Pease, Stephan Schulz

Browse the full FlAIRS paper archive.