Michael Bartholomew, Joohyung Lee. Functional Stable Model Semantics and Answer Set Programming Modulo Theories. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 718-724, IJCAI/AAAI, 2013. [doi]
Abstract is missing.