1989
On the safe termination of PROLOG programs
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
Organisation | Networks and Optimization |
Apt, K., Bol, R. N., & Klop, J. W. (1989). On the safe termination of PROLOG programs. Department of Computer Science [CS]. CWI. |