Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill. Boolean functions for finite-tree dependencies. In Luís Moniz Pereira, Paulo Quaresma, editors, APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001. pages 81-96, Departamento de Informática, Universidade de Évora, 2001. [doi]
@inproceedings{BagnaraZGH01-0, title = {Boolean functions for finite-tree dependencies}, author = {Roberto Bagnara and Enea Zaffanella and Roberta Gori and Patricia M. Hill}, year = {2001}, url = {http://www.di.uevora.pt/~pq/agp01/finals/12.pdf}, researchr = {https://researchr.org/publication/BagnaraZGH01-0}, cites = {0}, citedby = {0}, pages = {81-96}, booktitle = {APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001}, editor = {Luís Moniz Pereira and Paulo Quaresma}, publisher = {Departamento de Informática, Universidade de Évora}, }