Some Positive Results for Boundedness of Multiple Recursive Rules.

Ke Wang

Browse the full ICDT paper archive.