Thomas Eiter, Mantas Simkus. Bidirectional Answer Set Programs with Function Symbols. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 765-771, 2009. [doi]
Abstract is missing.