Logic programming (msc 68N17), Logic in computer science (msc 03B70), Semantics (msc 68Q55), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
MIT Press (Cambridge, MA)
Logic Programming
Logic Programming
Logic and language

Apt, K.R, & Bezem, M.A. (1990). Acyclic programs (extended abstract). In Proceedings of Logic programming 1990 (pp. 617–633). MIT Press (Cambridge, MA).