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