Ganter, B. & Reuter, K. (1991), 'Finding all closed sets : A general approach', Order 8 , 283-290.