Applying relation algebra and RelView to solve problems on orders and lattices
algorithmic problems on orders and lattices
scientific article; zbMATH DE number 5288699