共 50 条
- [42] Computational soundness of equational theories TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 363 - +
- [44] Unification problem in equational theories Cybernetics and Systems Analysis, 1997, 33 : 874 - 899
- [50] Partial completion of equational theories Journal of Computer Science and Technology, 2000, 15 : 552 - 559