@misc{misc99bbb1ba,
title   = {Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics},
author = {Finger, Marcelo and Preto, Sandro},
year = {2020},
doi = {10.1007/s10817-020-09558-9},
booktitle   = {Joint Conference on Automated Reasoning - IJCAR}
}