System Description: Multi A Multi-strategy Proof Planner.

Andreas Meier, Erica Melis

Browse the full CADE paper archive.