DMCA

Lazy Narrowing: Strong Completeness and Eager Variable Elimination (1995)

Cached

Download Links

by Aart Middeldorp , Satoshi Okui , Tetsuo Ida
Venue:Theoretical Computer Science
Citations:39 - 13 self