Sharma, N., & Colomb, R. (1998). Mechanising shared configuration and diagnosis theories through constraint logic programming. The journal of logic programming, 37(1), 255-283. https://doi.org/10.1016/S0743-1066(98)10010-9
Chicago Style (17th ed.) CitationSharma, Nirad, and Robert Colomb. "Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming." The Journal of Logic Programming 37, no. 1 (1998): 255-283. https://doi.org/10.1016/S0743-1066(98)10010-9.
MLA (9th ed.) CitationSharma, Nirad, and Robert Colomb. "Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming." The Journal of Logic Programming, vol. 37, no. 1, 1998, pp. 255-283, https://doi.org/10.1016/S0743-1066(98)10010-9.