Generating Boolean $\mu$-expressions

Thomas Eiter
DOI: https://doi.org/10.1007/s002360050011
1995-03-01
Acta Informatica
Abstract:
What problem does this paper attempt to address?