A Procedural Logic

Georgeff et al. "A Procedural Logic." International Joint Conference on Artificial Intelligence, 1985.

[Georgeff et al. "A Procedural Logic." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/georgeff1985ijcai-procedural/)

@inproceedings{georgeff1985ijcai-procedural,
  title     = {{A Procedural Logic}},
  author    = {Georgeff, Michael P. and Lansky, Amy L. and Bessière, Pierre},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {516-523},
  url       = {https://mlanthology.org/ijcai/1985/georgeff1985ijcai-procedural/}
}