Detecting decidable classes of finitely ground logic programs with function symbols.

Marco Calautti, Sergio Greco, Irina Trubitsyna

Browse the full PPDP paper archive.