Decidable and undecidable second-order unification problems (1998)

by Jordi Levy
Venue:In Proceedings of the 9th Int. Conf. on Rewriting Techniques and Applications (RTA’98), volume 1379 of LNCS
Citations:15 - 9 self