M.I.T. Press
International Conference and Symposium on Logic Programming
Logic and language

Apt, K., & Blair, H. A. (1988). Arithmetic classification of perfect models of stratified programs. In Proceedings of International Conference and Symposium on Logic Programming 1988 (5) (pp. 765–779). M.I.T. Press.