Somogyi, Z., Henderson, F., & Conway, T. (1996). The execution algorithm of mercury, an efficient purely declarative logic programming language. The journal of logic programming, 29(1), 17-64. https://doi.org/10.1016/S0743-1066(96)00068-4
Chicago Style (17th ed.) CitationSomogyi, Zoltan, Fergus Henderson, and Thomas Conway. "The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language." The Journal of Logic Programming 29, no. 1 (1996): 17-64. https://doi.org/10.1016/S0743-1066(96)00068-4.
MLA (9th ed.) CitationSomogyi, Zoltan, et al. "The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language." The Journal of Logic Programming, vol. 29, no. 1, 1996, pp. 17-64, https://doi.org/10.1016/S0743-1066(96)00068-4.