APA citiranje

Palikareva, H., Ouaknine, J., Roscoe, A., & Roggenbach, M. (2012). SAT−Solving in CSP Trace Refinement.

Chicago Style (17th ed.) Citation

Palikareva, H., J. Ouaknine, A. Roscoe, and M. Roggenbach. SAT−Solving in CSP Trace Refinement. 2012.

MLA citiranje

Palikareva, H., et al. SAT−Solving in CSP Trace Refinement. 2012.