Model Representation via Contexts and Implicit Generalizations.

Christian G. Fermller, Reinhard Pichler

Browse the full CADE paper archive.