A Deterministic Lazy Narrowing Calculus

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

No reviews for this publication, yet.