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

Cached

Download Links

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