David W. Jacobs, Daphna Weinshall, et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence
The anti-unifier is the dual notion to the unifier, i.e., it is the most specific term that has the input terms as instances. We show that the problem of anti-unification is in NC, in contrast to unification that is known to be P-complete. © 1992 Kluwer Academic Publishers.
David W. Jacobs, Daphna Weinshall, et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence
Yehuda Naveli, Michal Rimon, et al.
AAAI/IAAI 2006
Paula Harder, Venkatesh Ramesh, et al.
EGU 2023
Kenneth L. Clarkson, Elad Hazan, et al.
Journal of the ACM