Colleagues: Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Christophe Ringeissen
Friends: Anthony Widjaja Lin, Lorenzo Clemente, Étienne André
List of ISI journals.
Theory and Practice of Logic Programming.
Information & Computation.
Acm Surveys.
Theoretical Computer Science.
The Association for Logic Programming
Math Symbols Supported by HTML