arXiv 2001-06-25 EN Classes of Terminating Logic Programs Pedreschi, Dino · Ruggieri, Salvatore · Smaus, Jan-Georg
