at.logic.gapt.proofs.resolution
Created by marty on 9/9/14.
(Since version 2015-05-03) No idea what this should do
Created by marty on 9/9/14.