"Classical generalized probabilistic satisfiability", Proceedings of the 26th International Joint Conference on Artificial Intelligence: AAAI Press, pp. 908–914, 2017.
"An equation-based classical logic", International Workshop on Logic, Language, Information, and Computation: Springer, pp. 38–52, 2015.
"Generalized probabilistic satisfiability", Electronic Notes in Theoretical Computer Science, vol. 332: Elsevier, pp. 39–56, 2017.
Probabilistic Logic over Equations and Domain Restrictions, : PhD Thesis, IST, Universidade de Lisboa, 2016.