The Undecidability of the D::A::-Unification Problem

Jörg H. Siekmann, Peter Szabó. The Undecidability of the D::A::-Unification Problem. Journal of Symbolic Logic, 54(2):402-414, 1989.

Abstract

Abstract is missing.