Martin Kempa, Volker Linnemann. Type Checking in XOBE. In Gerhard Weikum, Harald Schöning, Erhard Rahm, editors, BTW 2003, Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW-Konferenz, 26.-28. Februar 2003, Leipzig. Volume 26 of LNI, pages 227-246, GI, 2003. [doi]
Abstract is missing.