DMCA

On Modular Termination Proofs of General Logic Programs (2002)

by Annalisa Bossi , Nicoletta Cocco , Sandro Etalle , Sabina Rossi
Citations:9 - 0 self