Congruences Generated by Extended Ground Term Rewrite Systems

Sándor Vágvölgyi. Congruences Generated by Extended Ground Term Rewrite Systems. Fundamenta Informaticae, 95(2-3):381-399, 2009. [doi]

Abstract

Abstract is missing.