APA-referens

Dowek, G., & Jiang, Y. Enumerating proofs of positive formulae.

Chicago-stil citat

Dowek, Gilles., och Ying Jiang. Enumerating Proofs of Positive Formulae.

MLA-referens

Dowek, Gilles., och Ying Jiang. Enumerating Proofs of Positive Formulae.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.