Proof Transformation by CERES
2006 ◽
pp. 82-93
◽