Cited By
View all- Hague MJeż ALin A(2024)Parikh’s Theorem Made SymbolicProceedings of the ACM on Programming Languages10.1145/36329078:POPL(1945-1977)Online publication date: 5-Jan-2024
- Hague MLin AHong C(2019)CSS Minification via Constraint SolvingACM Transactions on Programming Languages and Systems10.1145/331033741:2(1-76)Online publication date: 19-Jun-2019
- Figueira D(2018)Satisfiability of Xpath on data treesACM SIGLOG News10.1145/3212019.32120215:2(4-16)Online publication date: 30-Apr-2018
- Show More Cited By