@inproceedings{msowithtestsandreducts,
  title = {MSO with tests and reducts},
  author = {Fern and Tim o and David Woods and Carl Vogel},
  year = {2019},
  booktitle = {WS 2019 9},
  url = {https://aclanthology.org/W19-3106},
}