Andrews, J. H. (1992). Logic programming: Operational semantics and proof theory. Cambridge University press.
शिकागो स्टाइल उद्धरणAndrews, James H. Logic Programming: Operational Semantics and Proof Theory. Camgridge: Cambridge University press, 1992.
एमएलए उद्धरणAndrews, James H. Logic Programming: Operational Semantics and Proof Theory. Cambridge University press, 1992.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.