Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.