A compositional semantic basis for the analysis of equational Horn programs

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

1996

Theoretical Computer Science