On Extra Variables in (Equational) Logic Programming (1994)

Cached

Download Links

by Michael Hanus
Citations:21 - 2 self