Clark and Sickel. "Predicate Logic: A Calculus for the Formal Derivation of Programs." International Joint Conference on Artificial Intelligence, 1977.
Markdown
[Clark and Sickel. "Predicate Logic: A Calculus for the Formal Derivation of Programs." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/clark1977ijcai-predicate/)
BibTeX
@inproceedings{clark1977ijcai-predicate,
title = {{Predicate Logic: A Calculus for the Formal Derivation of Programs}},
author = {Clark, Keith L. and Sickel, Sharon},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1977},
pages = {419-420},
url = {https://mlanthology.org/ijcai/1977/clark1977ijcai-predicate/}
}