Citazione APA

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

Stile di citazione Chicago

Dowek, Gilles., e Ying Jiang. Enumerating Proofs of Positive Formulae.

Citazione MLA

Dowek, Gilles., e Ying Jiang. Enumerating Proofs of Positive Formulae.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.