1 paper
Stefan Hetzl, Johannes Weiser
We study subsystems of open induction obtained from restricting induction to atoms, literals, clauses, and dual clauses. We obtain an almost complete picture of the relationships b…