Deciding Boundedness for Uniformly Connected Datalog Programs.

Irne Guessarian

Browse the full ICDT paper archive.