Citação norma APA

Jacobs, B., Silva, A., & Sokolova, A. (2015). Trace semantics via determinization.

Citação norma Chicago

Jacobs, Bart, Alexandra Silva, and Ana Sokolova. Trace Semantics via Determinization. 2015.

Citação norma MLA

Jacobs, Bart, et al. Trace Semantics via Determinization. 2015.

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