Title: | Towards the Theory of Relaxed Unification |
---|---|
Author(s): | Abou-Assaleh, Tony, Cercone, Nick, and Keselj, Vlado |
Reference: | Towards the Theory of Relaxed Unification Abou-Assaleh, Tony, Cercone, Nick, and Keselj, Vlado. In Proceedings of the 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003, Maebashi City, Japan,, volume LNAI 2871 of Lecture Notes in Computer Science, Springer, October 28--31, 2003. |