Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Avellone, Alessandro
Ferrari, Mauro
and
Fiorentini, Camillo
2001.
Logic Based Program Synthesis and Transformation.
Vol. 2042,
Issue. ,
p.
1.