Focused Proof Search for Linear Logic in the Calculus of Structures (2010)

by N GUENOT
Venue:in "Technical Communications of the 26th International Conference on Logic Programming (ICLP