On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations.

Miki Hermann, Gernot Salzer

Browse the full MFCS paper archive.