Doveri, K., Ganty, P., & Mazzocchi, N. (2022). FORKLIFT: FORQ-based Language Inclusion Formal Testing [Conference paper]