Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis. Counter machines and the safety and disjointness problems for database queries with linear constraints. In Carlos MartÃn-Vide, Victor Mitrana, editors, Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun. pages 127-137, Kluwer Academic Publishers, 2001.
Abstract is missing.