Jonsson B. Algebraic Extensions of Relational Systems. Math. Scand. 1962;11:179-205. doi:10.7146/math.scand.a-10665