Ganty, Pierre and Ranzato, Francesco and Valero Mejía, Pedro (2019). Language inclusion algorithms as complete abstract interpretations. In: "26th International Symposium (SAS 2019)", 8-11 Oct 2019, Oporto, Portugal. ISBN 978-3-030-32304-2. pp. 140-161. https://doi.org/10.1007/978-3-030-32304-2.