Publication

Generalized Records and Spatial Conjunction in Role Logic