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.
@inproceedings{Dung90, title = {On the strong completion of logic programs}, author = {Phan Minh Dung}, year = {1990}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Dung90}, cites = {0}, citedby = {0}, pages = {158-172}, booktitle = {Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings}, editor = {Hélène Kirchner and Wolfgang Wechler}, volume = {463}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53162-9}, }