ML Anthology

On Evaluating Decision Procedures for Modal Logic

Ullrich Hustadt, Renate A. Schmidt
IJCAI 1997 pp. 202-209
/ijcai/1997/hustadt1997ijcai-evaluating/
PDF IJCAI Semantic Scholar

Cite

Text

Hustadt and Schmidt. "On Evaluating Decision Procedures for Modal Logic." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Hustadt and Schmidt. "On Evaluating Decision Procedures for Modal Logic." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/hustadt1997ijcai-evaluating/)

BibTeX

@inproceedings{hustadt1997ijcai-evaluating,
  title     = {{On Evaluating Decision Procedures for Modal Logic}},
  author    = {Hustadt, Ullrich and Schmidt, Renate A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {202-209},
  url       = {https://mlanthology.org/ijcai/1997/hustadt1997ijcai-evaluating/}
}