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. Proceedings of International Conference and Symposium on Logic Programming 1988 (5), 765–779.