Return to Article Details A Complete Equational Axiomatization for MPA with String Iteration Download Download PDF