Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras.

Jos Meseguer, Stephen Skeirik

Browse the full LOPSTR paper archive.