- Complete Abstractions for Checking Language Inclusion Pierre Ganty Francesco Ranzato Pedro Valero Sun 24 October 2021
- Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas Jérôme Champavère Rémi Gilleron Aurélien Lemay Joachim Niehren Mon 09 January 2017
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
