Complete Abstractions for Checking Language Inclusion | Publicación