A Deterministic Lazy Narrowing Calculus

Aart Middeldorp, Satoshi Okui. A Deterministic Lazy Narrowing Calculus. Journal of Symbolic Computation, 25(6):733-757, 1998.

Abstract

Abstract is missing.