Closed sets of universal Horn formulas for many-sorted (partial) algebras Peter Burmeister (1988) Banach Center Publications