Trích dẫn 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.

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.