Login / Signup

Lazy Narrowing: Strong Completeness and Eager Variable Elimination.

Aart MiddeldorpSatoshi OkuiTetsuo Ida
Published in: Theor. Comput. Sci. (1996)
Keyphrases