@inproceedings{inproceedings7105dece,
title   = {A logic based algorithm for solving probabilistic satisfiability},
author = {Finger, Marcelo and De Bona, Glauber},
year = {2010},
doi = {10.1007/978-3-642-16952-6_46},
publisher = {Springer},
booktitle   = {Ibero-American Conference on Artificial Intelligence - IBERAMIA}
}