Lassez and Maher. "The Denotational Semantics of Horn Clauses as a Production System." AAAI Conference on Artificial Intelligence, 1983.
Markdown
[Lassez and Maher. "The Denotational Semantics of Horn Clauses as a Production System." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/lassez1983aaai-denotational/)
BibTeX
@inproceedings{lassez1983aaai-denotational,
title = {{The Denotational Semantics of Horn Clauses as a Production System}},
author = {Lassez, Jean-Louis and Maher, Michael J.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1983},
pages = {229-231},
url = {https://mlanthology.org/aaai/1983/lassez1983aaai-denotational/}
}