An Extension of Baaz's Algorithm to E-semi-unification with One Inequality

View PDF

Download Links

by Alberto Oliart , Laboratorio Nacional , Informatica Avanzada A. C