Keyword:Data logics

Publications
Reasoning About Data Trees Using CHCs Marco Faella and Gennaro Parlato EasyChair Preprint 8615