Boolean Functions for Finite-Tree Dependencies
| Title | Boolean Functions for Finite-Tree Dependencies |
| Publication Type | Conference Paper |
| Year of Publication | 2001 |
| Authors | Bagnara R, Zaffanella E, Gori R, Hill PM |
| Editor | Nieuwenhuis R, Voronkov A |
| Conference Name | Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001) |
| Publisher | Springer-Verlag, Berlin |
| Conference Location | Havana, Cuba |
| ISBN Number | 3-540-42957-3 |
| DOI | 10.1007/3-540-45653-8_40 |
| Refereed Designation | Refereed |