COSTABS: a cost and termination analyzer for ABS.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla

Browse the full PEPM paper archive.