@phdthesis{RISC4131,
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}
}