TY  - RPRT
TI  - Efficient Solution of Language Equations Using Partitioned Representations
AU  - Alan Mishchenko
AU  - Robert Brayton
AU  - Roland Jiang
AU  - Tiziano Villa
AU  - Nina Yevtushenko
PY  - 2007
UR  - https://arxiv.org/abs/0710.4743
ID  - 0710.4743
ER  -