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
Maurice Bruynooghe
Mike Codish
Germán Puebla