@article {295, title = {Generalizing Logic Programs Via Subsumption}, journal = {International Conference on Computer Aided Systems Theory}, year = {2003}, month = {February 5-11}, pages = {185-188}, address = {Las Palmas de Gran Canaria}, isbn = {84-688-0820-2}, author = {Miguel A. Guti{\'e}rrez-Naranjo and Jos{\'e} A. Alonso-Jim{\'e}nez and Joaqu{\'\i}n Borrego-D{\'\i}az}, editor = {R. Moreno-D{\'\i}az jr. and A. Quesada-Arencibia and J. C. Rodr{\'\i}guez-Rodr{\'\i}guez} }