Style de citation APA

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

Style de citation Chicago

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

Style de citation MLA

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

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