Labelled Connection-based Proof Search for Multiplicative Intuitionistic.

Didier Galmiche, Daniel Mry

Browse the full CADE paper archive.