@misc{Pnueli1994,
author = {Pnueli, Yachin B. and Makowski, Janos A.},
year = {1994},
title = {More on oracles and quantifiers},
howpublished = "http://dx.doi.org/10.17169/refubium-22315",
}