External Links

    Journal: Journal of Symbolic Computation

    Volume 7, Issue 3/4

    207 -- 274Jörg H. Siekmann. Unification Theory
    275 -- 293Ursula Martin, Tobias Nipkow. Boolean Unification - The Story So Far
    295 -- 317Werner Nutt, Pierre Réty, Gert Smolka. Basic Narrowing Revisited
    319 -- 341Jia-Huai You. Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems
    343 -- 370Gert Smolka, Hassan Aït-Kaci. Inheritance Hierarchies: Semantics and Unification
    371 -- 425Hubert Comon, Pierre Lescanne. Equational Problems and Disunification
    427 -- 444Paris C. Kanellakis, Peter Z. Revesz. On the Relationship of Congruence Closure and Unification
    runs on