Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types.

J. V. Tucker Jeffery I. Zucker Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types. 23-55 1992 13 J. Log. Program. 1 db/journals/jlp/jlp13.html#TuckerZ92