Extended Abstracts of 3rd International Workshop on Unification

@proceedings{pub2534,
    editor = {

Bürckert, Hans-Jürgen
 and 

Nutt, Werner
},
    title = {Extended Abstracts of 3rd International Workshop on Unification. International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany},
    series = {SEKI Reports},
    year = {1989},
    volume = {SR-89-17},
    organization = {Universität Kaiserslautern},
    publisher = {Universität Kaiserslautern}
}