Baeten, J. C. M., & Weijland, W. P. (1987). Semantics for Prolog via term rewrite systems.
Chicago Style (17th ed.) CitationBaeten, Josephus C. M., and W. P. Weijland. Semantics for Prolog via Term Rewrite Systems. Amsterdam, 1987.
MLA (9th ed.) CitationBaeten, Josephus C. M., and W. P. Weijland. Semantics for Prolog via Term Rewrite Systems. 1987.
Warning: These citations may not always be 100% accurate.