Unification of bags and sets (1976)

by M Livesey, J Siekmann
Venue:Research report, Institut fur Informatik I, Universitat