Dowek, G., & Jiang, Y. Enumerating proofs of positive formulae.
Trích dẫn kiểu ChicagoDowek, Gilles., và Ying Jiang. Enumerating Proofs of Positive Formulae.
MLA CitationDowek, Gilles., và Ying Jiang. Enumerating Proofs of Positive Formulae.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.