"Efficient and Off-The-Shelf Solver: jArgSemSAT."

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics