SAT-solving in CSP trace refinement

MLA

Palikareva, Hristina, et al. “SAT-Solving in CSP Trace Refinement.” Science of Computer Programming, vol. 77, no. 10/11, Sept. 2012, pp. 1178–97. EBSCOhost, https://doi.org/10.1016/j.scico.2011.07.008.

APA

Palikareva, H., Ouaknine, J., & Roscoe, A. W. (2012). SAT-solving in CSP trace refinement. Science of Computer Programming, 77(10/11), 1178–1197. https://doi.org/10.1016/j.scico.2011.07.008

Chicago

Palikareva, Hristina, Joël Ouaknine, and A.W. Roscoe. 2012. “SAT-Solving in CSP Trace Refinement.” Science of Computer Programming 77 (10/11): 1178–97. doi:10.1016/j.scico.2011.07.008.