Normalizing narrowing for weakly terminating and confluent systems (1995)

by A Werner
Venue:in Proceedings of the first international conference on Principles and Practice of Constraint Programming