1
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... for querying lists, trees, and dags in databases -- Disjunctive ordered logic -- An algebraic rewriting theorem...