Citação norma APA

Abal, I., Cunha, A., Hurd, J., & Pinto, J. S. (2012). Using term rewriting to solve Bit-vector arithmetic problems (Poster Presentation).

Citação norma Chicago

Abal, Iago, Alcino Cunha, Joe Hurd, and Jorge Sousa Pinto. Using Term Rewriting to Solve Bit-vector Arithmetic Problems (Poster Presentation). 2012.

Citação norma MLA

Abal, Iago, et al. Using Term Rewriting to Solve Bit-vector Arithmetic Problems (Poster Presentation). 2012.

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