Acyclic programs (extended abstract)
Presented at the Logic Programming, Jerusalem
|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)|
|Organisation||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).