Bounded fixpoints for complex objects. (1997)

by D Suciu
Venue:Theoretical Computer Science,