Ronald Fagin Joseph Y. Halpern Yoram Moses Moshe Y. Vardi http://arxiv.org/abs/cs.LO/9809003 1998 CoRR cs.LO/9809003 db/journals/corr/corr9809.html#cs-LO-9809003 informal publication