home
>
book reviews
> Eric Henin
Google >
Eric Henin
author : Eric Henin
Short works
Negation as Failure: proofs, inference rules and meta-interpreters. 1989.
(In
Meta-Programming in Logic Programming
)