Robuta

https://portal.mardi4nfdi.de/wiki/Publication:5958139 Tree-shellability of Boolean functions - MaRDI portal boolean functionstreeshellabilitymardiportal