Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.