Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints.

Laurent Fribourg, Marcos Veloso Peixoto

Browse the full CADE paper archive.