Negation and Proof by Contradiction in Access-Limited Logic

Crawford and Kuipers. "Negation and Proof by Contradiction in Access-Limited Logic." AAAI Conference on Artificial Intelligence, 1991.

[Crawford and Kuipers. "Negation and Proof by Contradiction in Access-Limited Logic." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/crawford1991aaai-negation/)

@inproceedings{crawford1991aaai-negation,
  title     = {{Negation and Proof by Contradiction in Access-Limited Logic}},
  author    = {Crawford, James M. and Kuipers, Benjamin},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {897-903},
  url       = {https://mlanthology.org/aaai/1991/crawford1991aaai-negation/}
}