Henning Christiansen. On the Implementation of Global Abduction. In Katsumi Inoue, Ken Satoh, Francesca Toni, editors, Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Volume 4371 of Lecture Notes in Computer Science, pages 226-245, Springer, 2006. [doi]
Abstract is missing.