Computer Science: Theorem Prover for complexity theoretic reductions

Published --