On Finitely Recursive Programs (2009)

by S Baselice, P A Bonatti, G Criscuolo
Venue:TPLP 9