Proving Infinite Satisfiability.

Peter Baumgartner, Joshua Bax

Browse the full LPAR paper archive.