Skip to content

A Generic Cyclic Theorem Prover.

James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen

VenueBAPLAS
Year2012
ProceedingsAPLAS

Browse the full APLAS paper archive.