On the unusual e#ectiveness of Logic in computer science (0)

by J Y Halpern, R Harper, P G Kolaitis, M Y Vardi, V Vianu