arXiv 2004-08-05 EN On Generalized Records and Spatial Conjunction in Role Logic Kuncak, Viktor · Rinard, Martin
