Proofs you can believe in: proving equivalences between Prolog semantics in Coq.

Jael Kriener, Andy King, Sandrine Blazy

Browse the full PPDP paper archive.