LOIS: an Application of SMT Solvers.

Eryk Kopczynski, Szymon Torunczyk

Browse the full CADE paper archive.