Erratum

Higher-Order and Symbolic Computation

, Volume 21, Issue 1, pp 235-235

Totally correct logic program transformations via well-founded annotations

  • Alberto PettorossiAffiliated withDISP, University of Roma Tor Vergata Email author 
  • , Maurizio ProiettiAffiliated withIASI-CNR