The SAFT project is carried out within the
Programming, Logic and Intelligent Systems
research group at Roskilde university.
Participants at Roskilde
John Gallagher
Mads Rosendahl
Morten Rhiger
External Collaborators
Manuel Hermenegildo
Pedro López-García
Pierre Ganty