Model Building by Resolution.

Christian G. Fermller, Alexander Leitsch

Browse the full CSL paper archive.