Difference unification (1993)

by D Basin, T Walsh
Venue:In Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambiry