SPIKE, an Automatic Theorem Prover.

Adel Bouhoula, Emmanuel Kounalis, Michal Rusinowitch

Browse the full LPAR paper archive.