Proving Consistency and Completeness of Model Classes Using Theory Interpretation.

dm Darvas, Peter Mller

Browse the full FASE paper archive.