STRIP: Structural Sharing for Efficient Proof-Search.

Dominique Larchey-Wendling, Daniel Mry, Didier Galmiche

Browse the full CADE paper archive.