(1992). Types in logic programming / edited by Frank Pfenning.
Chicagoスタイル(17版)引用形式Types in Logic Programming / Edited by Frank Pfenning. 1992.
MLA(9版)引用形式Types in Logic Programming / Edited by Frank Pfenning. 1992.
警告: この引用は必ずしも正確ではありません.
APA(7版)引用形式