Dejing Dou, Drew V. McDermott. Towards Theory Translation. In Matteo Baldoni, Ulle Endriss, editors, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers. Volume 4327 of Lecture Notes in Computer Science, pages 16-28, Springer, 2006. [doi]
Abstract is missing.