Alexej P. Pynko

• Abstract Sequent Axiomatizations of Finitary Universal Horn Theories
• Equivalential Universal Horn Theories