Horn Clause Computability

Sten-Åke Tärnlund. Horn Clause Computability. BIT, 17(2):215-226, 1977.

Abstract

Abstract is missing.