@misc{Pnueli1994,
author = {Pnueli, Yachin B. and Makowski, Janos A.},
year = {1994},
title = {Oracles and first order Lindström quantifiers},
howpublished = "http://dx.doi.org/10.17169/refubium-22726",
}