00398nas a2200121 4500008004100000245004200041210004200083490001500125100002000140700002400160700002100184856007100205 2001 eng d00aClasses of Terminating Logic Programs0 aClasses of Terminating Logic Programs0 vcs.LO/01061 aPedreschi, Dino1 aRuggieri, Salvatore1 aSmaus, Jan-Georg uhttps://kdd.isti.cnr.it/content/classes-terminating-logic-programs