Core Chase

The files in this directory contain an attempt of formalizing the core chase and more specifically Theorem 7 from [DNR08].

Basic code contributions were made by Henrik in his Diploma thesis covering preliminary definitions and a few proof attemps. Some cleanups have happened already but the contents are still in an early stage of development. The code will be extended in the future and likely be further reworked in the process.