@misc{indiciae3ecd5e4c98a8,
  title = {An Emptiness Algorithm for Regular Types with Set Operators},
  author = {Lunjin Lu and John G. Cleary},
  year = {1998},
  url = {https://arxiv.org/abs/cs/9811015},
  note = {Source identifier: cs/9811015}
}