Combination of constraint systems II: Rational amalgamation

Klaus U. Schulz, Stephan Kepser. Combination of constraint systems II: Rational amalgamation. Theoretical Computer Science, 266(1-2):113-157, 2001. [doi]

Abstract

Abstract is missing.