Style de citation APA

Xu, Y., & Norrish, M. (2020). Mechanised Modal Model Theory. Automated Reasoning.

Style de citation Chicago

Xu, Yiming, et Michael Norrish. "Mechanised Modal Model Theory." Automated Reasoning 2020.

Style de citation MLA

Xu, Yiming, et Michael Norrish. "Mechanised Modal Model Theory." Automated Reasoning 2020.

Attention : ces citations peuvent ne pas être correctes à 100%.