Modèle cohérent des réseaux de preuve. - Eric Duquesne; Jacques Van de Wiele (Arch. Math. Log., 1994)

Proof nets of PN as graphs. - Eric Duquesne; Jacques Van de Wiele (Arch. Math. Log., 1995)