APA引文

Andrews, J. H. (1992). Logic programming: Operational semantics and proof theory. Cambridge University press.

Chicago Edition Citation

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. Camgridge: Cambridge University press, 1992.

MLA引文

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. Cambridge University press, 1992.

警告：這些引文格式不一定是100％准確.