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. |
|