A Resolution Method for Temporal Logic

IJCAI 1991 pp. 99-104

/ijcai/1991/fisher1991ijcai-resolution/

Cite

Text

Fisher. "A Resolution Method for Temporal Logic." International Joint Conference on Artificial Intelligence, 1991.

Markdown

[Fisher. "A Resolution Method for Temporal Logic." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/fisher1991ijcai-resolution/)

BibTeX

@inproceedings{fisher1991ijcai-resolution,
  title     = {{A Resolution Method for Temporal Logic}},
  author    = {Fisher, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {99-104},
  url       = {https://mlanthology.org/ijcai/1991/fisher1991ijcai-resolution/}
}