Monografia (1984) micro–PROLOG : programming in logicMonografia (1985) Artificial intelligence : applications to logical reasoning and historical researchMonografia (1991) Artificial intelligence and human institutions