Gibbons. "POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language." International Joint Conference on Artificial Intelligence, 1973.
Markdown
[Gibbons. "POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/gibbons1973ijcai-pops/)
BibTeX
@inproceedings{gibbons1973ijcai-pops,
title = {{POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language}},
author = {Gibbons, Gregory Dean},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1973},
pages = {589-600},
url = {https://mlanthology.org/ijcai/1973/gibbons1973ijcai-pops/}
}