Cita APA

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

Citación estilo Chicago

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

Cita 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%.