1
Stack based implementation of narrowing.
Book
Loogen, R.
1990