First-Order Automatic Literal Model Generation.

Martin Bromberger, Florent Krasnopol, Sibylle Mhle, Christoph Weidenbach

Browse the full IJCAR paper archive.