Logics for Unordered Trees With Data Constraints

Journal of Computer and System Sciences - United States
doi 10.1016/j.jcss.2018.11.004

Related search