?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Puebla+S%C3%A1nchez&rft.au=Puebla+S%C3%A1nchez%2C+Alvaro+Germ%C3%A1n&rft.aufirst=Alvaro+Germ%C3%A1n&rft.isbn=9783540292081&rft.tpages=458&rft.btitle=Logic+Programming&rft.date=2005&rft.title=A+generic+framework+for+the+analysis+and+specialization+of+kogic+programs&rft.genre=proceeding