@mastersthesis{mastersthesis7ff66fae,
title   = {Answer Set Programming probabilístico},
author = {Morais, Eduardo Menezes de and Finger, Marcelo},
year = {2012},
school = {Universidade de São Paulo}
}