Unravelings and ultra-properties (1996)

by M Marchiori
Venue:Proceedings of the 5th International Conference on Algebraic and Logic Programming