ALOG(ID:7631/alo002)

PLASMA-II with an extension to logic

Patrick Salles research group

Institut de Recherche en Informaique University of Toulouse  
Related languages
PLASMA-II => ALOG   Augmentation of