Solution to a Problem of Goranko and Passy
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/logcom/Wolter94,
author = {Frank Wolter},
title = {Solution to a Problem of Goranko and Passy},
journal = {J. Log. Comput.},
volume = {4},
number = {1},
year = {1994},
pages = {21-22},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
