Kakas, Logic programming without negation as failure (1995)

by Y Dimopoulos, A C
Venue:in: Proceedings of the 1995 International Logic Programming Symposium (MIT