Didier Galmiche, Vincent Balat. Labelled Proof Systems for Intuitionistic Provability. D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, L. Vigano.
Labelled Deduction, 17 (17), Kluwer Academic Publishers, 31 p, 2000, Applied Logic Series, 0-7923-6237-3.
⟨inria-00098993⟩