Equality and fixpoints in the calculus of structures.

Kaustuv Chaudhuri, Nicolas Guenot

Browse the full CSL paper archive.