home
>
NF reviews
> Fausto Giunchiglia
Google >
Fausto Giunchiglia
author : Fausto Giunchiglia
Papers/Articles
Reflection in constructive and non-constructive automated reasoning. 1989. In
Meta-Programming in Logic Programming