Maraninchi, Florence and Nicolas Halbwachs "Compiling ARGOS into Boolean Equations" FTRTFT 1996 pp72-89
(1996)
Languages mentioned
Argos
{1992}