Free Logic and Infinite Constraint Networks.

James Bowen, Dennis R. Bahler

Browse the full LPAR paper archive.