@misc{indiciae8ded9613e4bc,
  title = {Efficient Solution of Language Equations Using Partitioned Representations},
  author = {Alan Mishchenko and Robert Brayton and Roland Jiang and Tiziano Villa and Nina Yevtushenko},
  year = {2007},
  url = {https://arxiv.org/abs/0710.4743},
  note = {Source identifier: 0710.4743}
}