Finitary axiomatizations of the true relational equations
Tom 28 / 1993
Banach Center Publications 28 (1993), 201-208
DOI: 10.4064/-28-1-201-208
