Relation algebras can tile - Marx, Maarten (Inst. for Logic, Language and Computation, 1999)