Evelina Lamma, Paola Mello. Processing Abductive Reasoning via Contextual Logic Programming. In Harold Boley, Michael M. Richter, editors, Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Volume 567 of Lecture Notes in Computer Science, pages 336-343, Springer, 1991.
Abstract is missing.