A transaction concept for deductive databases - Cronau, Hans-Jürgen (1990)
Dortmund, Univ., Diss., 1991