Robuta

https://dml.cz/manakin/handle/10338.dmlcz/120437?show=full DML-CZ - Czech Digital Mathematics Library: A simple basis of ideal terms of Brouwerian semilattices