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]

Abstract

Abstract is missing.