Generalized partial computation using disunification to solve constraints (1993)

by A TAKANO
Venue:In Conditional Term Rewriting Systems. Proceedings