Martin Gebser, Orkunt Sabuncu, Torsten Schaub. Finite Model Computation via Answer Set Programming. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 2626-2631, IJCAI/AAAI, 2011. [doi]
Abstract is missing.