ALF/ILP Based Automated Implementation of Distributed Applications.

Torsten Braun Isabelle Chrisment Christophe Diot François Gagnon Laurent Gautier ALF/ILP Based Automated Implementation of Distributed Applications. 48-54 1996 28 Australian Computer Journal 2 db/journals/acj/acj28.html#BraunCDGG96