APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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