CITATION STYLE
Voisin, F. (1993). A new Front-End for the Larch Prover (pp. 282–296). https://doi.org/10.1007/978-1-4471-3558-6_16
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley