Interpolants, Cut Elimination and Flow Graphs (1995)

by A Carbone
Venue:Annals of Pure and Applied Logic