Three-Valued Completion for Abductive Logic Programs

Frank Teusink. Three-Valued Completion for Abductive Logic Programs. Theoretical Computer Science, 165(1):171-200, 1996. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: