Thomas Eiter Generating Boolean mu-Expressions Acta Inf. 32 2 1995 171-187 db/journals/acta/acta32.html#Eiter95