APA (7th ed.) Zitazioa

(1992). Types in logic programming / edited by Frank Pfenning.

Chicago Style (17th ed.) Zitazioa

Types in Logic Programming / Edited by Frank Pfenning. 1992.

MLA (9th ed.) Zitazioa

Types in Logic Programming / Edited by Frank Pfenning. 1992.