Equational Axiomatization of Algebras with Structure.

Stefan Milius, Henning Urbat

Browse the full FOSSACS paper archive.