Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Springer
Lecture Notes in Computer Science
International Conference on Theoretical aspects of computer Science
Networks and Optimization

Apt, K.R, & Pedreschi, D. (1991). Proving termination of general Prolog programs. In Theoretical aspects of computer Science 1991 (TACS 1) (pp. 265–289). Springer.