APA引文

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引文

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

警告：这些引文格式不一定是100％准确.