The unique factorization problem for finite relational structures B. Jónsson — 1966 Colloquium Mathematicae
Refinement properties for relational structures C. Chang; B. Jónsson; Alfred Tarski — 1964 Fundamenta Mathematicae