Trích dẫn APA

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

Trích dẫn kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.