\bibitem{ismis03}
Abou-Assaleh, Tony, Cercone, Nick, and Keselj, Vlado.
\newblock Towards the Theory of Relaxed Unification.
\newblock In {\em Proceedings of the 14th International Symposium on
Methodologies for Intelligent Systems, ISMIS 2003\/.}
Vol.~LNAI 2871 of {\it Lecture Notes in Computer Science, Springer},
Maebashi City, Japan, October 28--31, 2003.