About Boundedness for some DATALOG and DATALOG_neg Programs.

Irne Guessarian, Marcos Veloso Peixoto

Browse the full MFCS paper archive.