Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys. Reasoning about integrity constraints for tree-structured data. Theory Comput. Syst., 62(4):941-976, 2018. [doi]
@article{CzerwinskiDMP18, title = {Reasoning about integrity constraints for tree-structured data}, author = {Wojciech Czerwinski and Claire David and Filip Murlak and Pawel Parys}, year = {2018}, doi = {10.1007/s00224-017-9771-z}, url = {https://doi.org/10.1007/s00224-017-9771-z}, researchr = {https://researchr.org/publication/CzerwinskiDMP18}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {62}, number = {4}, pages = {941-976}, }