SLWV - A Theorem Prover for Logic Programming

• Authors:

• Luís Moniz Pereira;Luís Caires;José Júlio Alferes

• Affiliations:

• -;-;-

• Venue:
• ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
• Year:
• 1992