author = {Karel Stokkermans}, title = {{A Categorical Framework and Calculus for Critical-Pair Completion}}, language = {english}, year = {1995}, translation = {0}, school = {RISC, Johannes Kepler University Linz}, length = {0}