Automated Theorem Proving for Prolog Verification.

Fred Mesnard, Thierry Marianne, tienne Payet

Browse the full LPAR paper archive.