Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar. Nested antichains for WS1S. Acta Informatica, 56(3):205-228, 2019. [doi]
@article{FiedorHLV19, title = {Nested antichains for WS1S}, author = {Tomás Fiedor and Lukás Holík and Ondrej Lengál and Tomás Vojnar}, year = {2019}, doi = {10.1007/s00236-018-0331-z}, url = {https://doi.org/10.1007/s00236-018-0331-z}, researchr = {https://researchr.org/publication/FiedorHLV19}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {56}, number = {3}, pages = {205-228}, }