The language of plain SO-tgds: Composition, inversion and structural properties

Marcelo Arenas, Jorge Pérez 0001, Juan L. Reutter, Cristian Riveros. The language of plain SO-tgds: Composition, inversion and structural properties. J. Comput. Syst. Sci., 79(6):763-784, 2013. [doi]

Abstract

Abstract is missing.