Marco Cavalieri Evelina Lamma Paola Mello Antonio Natali Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. 399-415 1988 META db/conf/meta/meta88.html#CavalieriLMN88