Interpolants, cut elimination and ow graphs (1997)

by A Carbone
Venue:Ann. Pure Appl. Logic