@conference {IIIA-2007-1678, title = {Distributed forward checking may lie for privacy}, booktitle = {LNAI}, volume = {4651}, year = {2007}, pages = {93-107}, publisher = {Elsevier}, organization = {Elsevier}, author = {Ismel Brito and Pedro Meseguer}, editor = {F. Acevedo and P. Barahona and F. Fages and F. Rossi} }