Compositional Analysis for Equational Horn Programs

Alpuente Frasnedo María, Vidal Oriola Germán Francisco

1994

Lecture Notes in Computer Science