@inproceedings{inproceedings2511de7d,
title   = {Generalized probabilistic satisfiability},
author = {De Bona, Glauber and Cozman, Fabio Gagliardi and Finger, Marcelo},
year = {2013},
doi = {10.1109/BRACIS.2013.38},
publisher = {IEEE},
booktitle   = {Brazilian Conference on Intelligent Systems - BRACIS}
}