%0 Journal Article %1 journals/acta/Eiter95 %A Eiter, Thomas %D 1995 %J Acta Inf. %K dblp %N 2 %P 171-187 %T Generating Boolean mu-Expressions. %U http://dblp.uni-trier.de/db/journals/acta/acta32.html#Eiter95 %V 32

@article{journals/acta/Eiter95, added-at = {2011-01-11T00:00:00.000+0100}, author = {Eiter, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/258ee656b09f1f045f416faf35f9efbf9/dblp}, ee = {http://dx.doi.org/10.1007/BF01177746}, interhash = {1b7f15940c2b74e2801e9410c021f280}, intrahash = {58ee656b09f1f045f416faf35f9efbf9}, journal = {Acta Inf.}, keywords = {dblp}, number = 2, pages = {171-187}, timestamp = {2011-01-12T11:32:21.000+0100}, title = {Generating Boolean mu-Expressions.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta32.html#Eiter95}, volume = 32, year = 1995 }