Rudolf Berghammer Applying relation algebra and Rel View to solve problems on orders and lattices. 211-236 2008 45 Acta Inf. 3 http://dx.doi.org/10.1007/s00236-008-0072-5 db/journals/acta/acta45.html#Berghammer08