@article{KarandikarKS15,
  title = {On the index of Simon's congruence for piecewise testability},
  author = {Prateek Karandikar and Manfred Kufleitner and Philippe Schnoebelen},
  year = {2015},
  doi = {10.1016/j.ipl.2014.11.008},
  url = {http://dx.doi.org/10.1016/j.ipl.2014.11.008},
  researchr = {https://researchr.org/publication/KarandikarKS15},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {115},
  number = {4},
  pages = {515-519},
}

@article{Schnoebelen88-0,
  title = {Refined Compilation of Pattern-Matching for Functional Languages},
  author = {Philippe Schnoebelen},
  year = {1988},
  doi = {10.1016/0167-6423(88)90002-0},
  url = {https://doi.org/10.1016/0167-6423(88)90002-0},
  tags = {pattern language, pattern matching},
  researchr = {https://researchr.org/publication/Schnoebelen88-0},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {11},
  number = {2},
  pages = {133-159},
}

@inproceedings{Schnoebelen88,
  title = {Refined Compilation of Pattern-Matching for Functional Languages},
  author = {Philippe Schnoebelen},
  year = {1988},
  doi = {10.1007/3-540-50667-5_75},
  url = {https://doi.org/10.1007/3-540-50667-5_75},
  tags = {pattern language, pattern matching},
  researchr = {https://researchr.org/publication/Schnoebelen88},
  cites = {0},
  citedby = {0},
  pages = {233-243},
  booktitle = {International Workshop on Algebraic and Logic Programming},
  editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler},
  volume = {343},
  number = {1},
  series = {Lecture Notes in Computer Science},
  address = {Gaussig, GDR},
  publisher = {Springer},
  isbn = {3-540-50667-5},
}