Reasoning about integrity constraints for tree-structured data

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]

Authors

Wojciech Czerwinski

This author has not been identified. Look up 'Wojciech Czerwinski' in Google

Claire David

This author has not been identified. Look up 'Claire David' in Google

Filip Murlak

This author has not been identified. Look up 'Filip Murlak' in Google

Pawel Parys

This author has not been identified. Look up 'Pawel Parys' in Google