Circular (Yet Sound) Proofs.

Albert Atserias, Massimo Lauria

Browse the full SAT paper archive.