at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
***************************************************************************** Cut-Elimination by Resolution ****************************************************************************
***************************************************************************** Cut-Elimination by Resolution ****************************************************************************