Citação norma APA

Correia, M. V. (2011). Modern techniques for constraint solving the CASPER experience.

Citação norma Chicago

Correia, Marco Vargas. Modern Techniques for Constraint Solving the CASPER Experience. 2011.

Citação norma MLA

Correia, Marco Vargas. Modern Techniques for Constraint Solving the CASPER Experience. 2011.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.