Boolean Functions for Finite-Tree Dependencies.

Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill

Browse the full LPAR paper archive.