Negation and Proof by Contradiction in Access-Limited Logic.

James M. Crawford, Benjamin Kuipers

Browse the full AAAI paper archive.