Analysis by reduction of analytical PDT-trees

@inproceedings{Pltek2017AnalysisBR,
  title={Analysis by reduction of analytical PDT-trees},
  author={Martin Pl{\'a}tek and Karel Oliva and Dana Pardubsk{\'a}},
  booktitle={NCMA},
  year={2017}
}