Home
DCC eCatalog
E.__Marchiori
Proving termination of logic programs with delay declarations
