Constraint Propagation for Linear Recursive Rules.

James Harland, Kotagiri Ramamohanarao

Browse the full ICLP paper archive.