Semi-Unification and Generalizations of a Particularly Simple Form.

Matthias Baaz, Gernot Salzer

Browse the full CSL paper archive.