Lazy Narrowing in a Graph Machine (1990)

by Juan Jos'e Moreno-Navarro , Herbert Kuchen , Rita Loogen
Citations:38 - 4 self