Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light.

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi

Browse the full IJCAR paper archive.