Franco TuriniBooksAI*IA 2003 : Advances in Artificial IntelligenceMeta-Logics and Logic ProgrammingAuthor data: Open Library