Bartholomew and Lee. "Functional Stable Model Semantics and Answer Set Programming Modulo Theories." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Bartholomew and Lee. "Functional Stable Model Semantics and Answer Set Programming Modulo Theories." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/bartholomew2013ijcai-functional/)
BibTeX
@inproceedings{bartholomew2013ijcai-functional,
title = {{Functional Stable Model Semantics and Answer Set Programming Modulo Theories}},
author = {Bartholomew, Michael and Lee, Joohyung},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {718-724},
url = {https://mlanthology.org/ijcai/2013/bartholomew2013ijcai-functional/}
}