@inproceedings{inproceedingsaa1a3422,
title   = {New method for inverse-image computation in generating the set of equivalent states},
author = {Teruya, M Y and Wang, Jiang Chau},
year = {1996},
publisher = {Sbmicro},
booktitle   = {Conference of the Brazilian Microelectronics Society}
}