Luís Moniz Pereira, Luís Caires, José Júlio Alferes. SLWV - A Theorem Prover for Logic Programming. In Evelina Lamma, Paola Mello, editors, Extensions of Logic Programming, Third International Workshop, ELP 92, Bologna, Italy, February 26-28, 1992, Proceedings. Volume 660 of Lecture Notes in Computer Science, pages 1-23, Springer, 1992.
Abstract is missing.