Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints between Regular Open Terms

@inproceedings{Bala2004RegularLM,
  title={Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints between Regular Open Terms},
  author={Sebastian Bala},
  booktitle={STACS},
  year={2004}
}