Unravelings and ultra-properties (1996)

by M Marchiori
Venue:Proc. 5th Int. Conf. on Algebraic and Logic Programming, LNCS 1139