Separating Regular Languages with Two Quantifiers Alternations | IEEE Conference Publication | IEEE Xplore