Algorithmic Aspects of WQO Theory

@inproceedings{Schmitz2016AlgorithmicAO,
  title={Algorithmic Aspects of WQO Theory},
  author={Sylvain Schmitz and Philippe Schnoebelen},
  year={2016}
}