home
>
NF reviews
> Eric Henin
Google >
Eric Henin
author : Eric Henin
Papers/Articles
Negation as Failure: proofs, inference rules and meta-interpreters. 1989. In
Meta-Programming in Logic Programming