Coyle, David G (1974) Gentzen systems with negation and Craig factorization in the associated categories. Masters thesis, Concordia University.