External Links

    Journal: BIT

    Volume 17, Issue 2

    215 -- 226Sten-Åke Tärnlund. Horn Clause Computability
    runs on