TY  - JOUR
AU  - Ramesh, Anavai
AU  - Murray, Neil V.
TI  - Cálculos parametrizados de primo implicante-implicado para lógicas regulares.
JO  - Mathware & soft computing
PY  - 1997
SP  - 155
EP  - 179
VL  - 4
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a5/
LA  - en
ID  - MSC_1997_1997_1_a5
ER  -