Frank Teusink. Three-Valued Completion for Abductive Logic Programs. Theoretical Computer Science, 165(1):171-200, 1996. [doi]
@article{Teusink96, title = {Three-Valued Completion for Abductive Logic Programs}, author = {Frank Teusink}, year = {1996}, doi = {10.1016/0304-3975(96)00044-8}, url = {http://dx.doi.org/10.1016/0304-3975(96)00044-8}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Teusink96}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {165}, number = {1}, pages = {171-200}, }