TY - JOUR T1 - State identification sequences from the splitting tree JO - Information and Software Technology UR - https://eprints.whiterose.ac.uk/id/eprint/158336 PY - 2020/07/01 AU - Soucha M AU - Bogdanov K ED - DO - DOI: 10.1016/j.infsof.2020.106297 PB - Elsevier VL - 123 Y2 - 2025/11/02 ER -