APA (7th ed.) Citation

Blackburn, P., Meyer-Viol, W., & Rijke, M. d. (1995). A proof system for finite trees. Univ. des Saarlandes, Computerlinguistik.

Chicago Style (17th ed.) Citation

Blackburn, Patrick, Wilfried Meyer-Viol, and Maarten de Rijke. A Proof System for Finite Trees. Saarbrücken: Univ. des Saarlandes, Computerlinguistik, 1995.

MLA (9th ed.) Citation

Blackburn, Patrick, et al. A Proof System for Finite Trees. Univ. des Saarlandes, Computerlinguistik, 1995.