Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V.  (2005).  A generic framework for the analysis and specialization of kogic programs.  In: "21st International Conference, ICLP 2005", October 2-5, 2005, Sitges, Spain. ISBN 9783540292081.