page 1  (33 pages)
2to next section

METAFOL: Program Tactics

and Logic Tactics plus

Reflection

Massimo Benerecetti
Luca Spalazzi

January 1996
Technical Report MRG/DIST # 96-0032

universit?a
di genova
facolt?a di
ingegneria

dipartimento
informatica
sistemistica
telematica