1988
Arithmetic classification of perfect models of stratified programs
Publication
Publication
Presented at the
International Conference and Symposium on Logic Programming
Additional Metadata | |
---|---|
M.I.T. Press | |
International Conference and Symposium on Logic Programming | |
Organisation | 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. |