Keyword:Data logics

Papers
Reasoning About Data Trees Using CHCs Marco Faella and Gennaro Parlato EasyChair Preprint no. 8615