Klaus-Dieter Schewe Bernhard Thalheim Towards a Theory of Consistency Enforcement. 97-141 1999 36 Acta Inf. 2 http://link.springer.de/link/service/journals/00236/bibs/9036002/90360097.htm db/journals/acta/acta36.html#ScheweT99