Decidability and implementation of parametrized logic programs

Authors

Tran Cao Son, Pedro Cabalar, Ricardo Gonçalves, José Júlio Alferes,