APA (7th ed.) Citation

Bellin, G. (1991). Mechanizing proof theory: Resource-aware logics and proof-transformations to extract implicit information. Univ. of Edinburgh, Dep. of Computer Science.

Chicago Style (17th ed.) Citation

Bellin, Gianluigi. Mechanizing Proof Theory: Resource-aware Logics and Proof-transformations to Extract Implicit Information. Edinburgh: Univ. of Edinburgh, Dep. of Computer Science, 1991.

MLA (9th ed.) Citation

Bellin, Gianluigi. Mechanizing Proof Theory: Resource-aware Logics and Proof-transformations to Extract Implicit Information. Univ. of Edinburgh, Dep. of Computer Science, 1991.