Temporal Reasoning and Termination of Programs

del Cerro. "Temporal Reasoning and Termination of Programs." International Joint Conference on Artificial Intelligence, 1983.

[del Cerro. "Temporal Reasoning and Termination of Programs." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/delcerro1983ijcai-temporal/)

@inproceedings{delcerro1983ijcai-temporal,
  title     = {{Temporal Reasoning and Termination of Programs}},
  author    = {del Cerro, Luis Fariñas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {926-929},
  url       = {https://mlanthology.org/ijcai/1983/delcerro1983ijcai-temporal/}
}