On the Unusual Effectiveness of Logic in Computer Science
 |
 |
Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
Bulletin of Symbolic Logic 7(2), pages 213–236
June 2001
Bulletin of Symbolic Logic (BullSymLog)