@misc{indiciae4217c0e5a908,
  title = {Towards Parameterized Regular Type Inference Using Set Constraints},
  author = {F. Bueno and J. Navas and M. Hermenegildo},
  year = {2010},
  url = {https://arxiv.org/abs/1002.1836},
  note = {Source identifier: 1002.1836}
}