Combination techniques and decision problems for disunification (1993)

by F Baader, K U Schulz
Venue:In Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93