Reinhard Pichler. Algorithms on Atomic Representations of Herbrand Models. In Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach, editors, Logics in Artificial Intelligence, European Workshop, JELIA 98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Volume 1489 of Lecture Notes in Computer Science, pages 199-215, Springer, 1998. [doi]
Abstract is missing.