A Polynomial Algorithm for Testing Congruence Modularity

Christian Herrmann, Marcel Wild. A Polynomial Algorithm for Testing Congruence Modularity. IJAC, 6(4):379-388, 1996. [doi]

Abstract

Abstract is missing.