F. Ferrucci
- F. Ferrucci, G. Pacini, and Maria I. Sessa. Redundancy elimination and loop
checks for logic programs. Information and Computation,
119(2):137-153, June 1995.
Abstract
and References.
- F. Ferrucci, G. Pacini, G. Satta, M. I. Sessa, G. Tortora, M. Tucci, and
G. Vitiello. Symbol-relation grammars: A
formalism for graphical languages. Information and
Computation, 131(1):1-46, 25 November 1996.
Abstract
and References.
Shortcuts: