On the strong completion of logic programs

Phan Minh Dung. On the strong completion of logic programs. In Hélène Kirchner, Wolfgang Wechler, editors, Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings. Volume 463 of Lecture Notes in Computer Science, pages 158-172, Springer, 1990.

Abstract

Abstract is missing.