@ARTICLE {20269,
author={C. Caleiro and F. Casal and A. Mordido },
doi={10.1016/j.entcs.2017.04.004},
journal={Theoretical Computer Science},
title={Generalized probabilistic satisfiability},
year={2017},
month={June},
volume={332},
number={0},
pages={39-56},
ISSN={0304-3975}
}