Giorgio Ausiello;Paolo Atzeni
-;-
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae