Citação norma APA

Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2017). The automatic detection of token structures and invariants using SAT checking. Springer, Berlin, Heidelberg.

Citação norma Chicago

Antonino, P., T. Gibson-Robinson, and A. Roscoe. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.

Citação norma MLA

Antonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.

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