Peter Burmeister. "Closed sets of universal Horn formulas for many-sorted (partial) algebras." Banach Center Publications 21.1 (1988): 129-143. <http://eudml.org/doc/267734>.
@article{PeterBurmeister1988, author = {Peter Burmeister}, journal = {Banach Center Publications}, keywords = {universal Horn formulas; closure operator of consequences}, language = {eng}, number = {1}, pages = {129-143}, title = {Closed sets of universal Horn formulas for many-sorted (partial) algebras}, url = {http://eudml.org/doc/267734}, volume = {21}, year = {1988}, }
TY - JOUR AU - Peter Burmeister TI - Closed sets of universal Horn formulas for many-sorted (partial) algebras JO - Banach Center Publications PY - 1988 VL - 21 IS - 1 SP - 129 EP - 143 LA - eng KW - universal Horn formulas; closure operator of consequences UR - http://eudml.org/doc/267734 ER -