@inproceedings{inproceedingsd2b7da0d,
title   = {Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística},
author = {Takiyama, Felipe Iwao and Cozman, Fabio Gagliardi},
year = {2012},
publisher = {SBC},
booktitle   = {Brazilian Conference on Intelligent Systems - BRACIS}
}