Analysis and Transformation of Proof Procedures (1994)

by David André de Waal
Citations:8 - 2 self