Constraint Logic Programming in the Sequent Calculus.

John Darlington, Yike Guo

Browse the full LPAR paper archive.