@inproceedings{inproceedingsd67b8113,
title   = {Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria},
author = {Sakai, R Y and Wang, Jiang Chau},
year = {1996},
publisher = {Usp},
booktitle   = {Simposio de Iniciacao Cientifica da Universidade de São Paulo}
}