Interpolants, cut elimination and flow graphs for the propositional calculus (1997)

by A Carbone
Venue:Ann. Pure Appl. Logic