TY - BOOK TI - Logic programming: : Proceedings of the sixth international conference SN - 0-262-6-2065-0 PY - 1989/// CY - Cambridge: PB - The MIT Press, KW - Proceedings ER -