Proof transformations by resolution : computational methods of cut-elimination / Clemens Richter. 2006
Content