Hajnal Andréka Bjarni Jónsson István Németi Relatively free relation algebras. 1-14 1988 conf/aluacs/1988 Algebraic Logic and Universal Algebra in Computer Science db/conf/aluacs/aluacs1988.html#AndrekaJN88 http://dx.doi.org/10.1007/BFb0043075