Tableau-Based Theorem Proving in Normal Conditional Logics

Groeneboer and Delgrande. "Tableau-Based Theorem Proving in Normal Conditional Logics." AAAI Conference on Artificial Intelligence, 1988.

[Groeneboer and Delgrande. "Tableau-Based Theorem Proving in Normal Conditional Logics." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/groeneboer1988aaai-tableau/)

@inproceedings{groeneboer1988aaai-tableau,
  title     = {{Tableau-Based Theorem Proving in Normal Conditional Logics}},
  author    = {Groeneboer, Chris and Delgrande, James P.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {171-176},
  url       = {https://mlanthology.org/aaai/1988/groeneboer1988aaai-tableau/}
}