Decidability Results for Saturation-Based Model Building.

Matthias Horbach, Christoph Weidenbach

Browse the full CADE paper archive.