Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.

Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Browse the full IJCAI paper archive.