@inproceedings{inproceedings72891a68,
title   = {Probabilistic abduction for PSAT},
author = {Arruda, Alexandre Matos and Finger, Marcelo},
year = {2014},
booktitle   = {Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)}
}