Skip to main content Skip to main navigation

Publication

Lazy E-Unification - A Method to Delay Alternative Solution (Extended Abstract)

Hans-Jürgen Bürckert
Universität Kaiserslautern, SEKI Working Papers, Vol. SWP-87-07, 1987.