Abstract Sequent Axiomatizations of Finitary Universal Horn Theories: Abstract Proof Theory Versus General Algebraic Logic nidottuEnglanti, 2019