Bidirectional Answer Set Programs with Function Symbols.

Thomas Eiter, Mantas Simkus

Browse the full IJCAI paper archive.