A Deterministic Lazy Narrowing Calculus (1998)

by A Middeldorp, S Okui
Venue:Journal of Symbolic Computation