Title: Equivalent Universal Horn Theories. General Algebraic Logic