Title: Abstract Sequent Axiomatizations of Finitary Universal Horn Theories