Extending Resolution for Model Construction.

Ricardo Caferra, Nicolas Zabel

Browse the full JELIA paper archive.