Reducing the size of resolution proofs in linear timeOmer Bar-IlanOded Fuhrmannet al.2010International Journal on Software Tools for Technology Transfer