Journal Article
Matúš František
: Theoretical Computer Science vol.81, 1 (1991), p. 117-126
: Množiny uzavřené, databáze