Authors: Ibarra, OH Su, JW

Citation: Oh. Ibarra et Jw. Su, A technique for proving decidability of containment and equivalence of linear constraint queries, J COMPUT SY, 59(1), 1999, pp. 1-28