APA citiranje

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

Trích dẫn kiểu Chicago

Dowek, Gilles., và Ying Jiang. Enumerating Proofs of Positive Formulae.

MLA citiranje

Dowek, Gilles., và Ying Jiang. Enumerating Proofs of Positive Formulae.