Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

By Y. Venema. Theory and Practice of Logic Programming, 2002

471 citations recorded by the source corpus.