Reachability as Derivability, Finite Countermodels and Verification.

Alexei Lisitsa

Browse the full ATVA paper archive.