An iterative approach to language containment (1993)

by F Balarin, A L Sangiovanni-Vincentelli
Venue:In Proceedings of the 5th International Conference on Computer Aided Verification