%0 Journal Article
%A Marcelo Fiore
%T An equational metalogic for monadic equational systems
%J Theory and applications of categories
%D 2012
%P 464-492
%V 27
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2012_27_a17/
%G en
%F TAC_2012_27_a17