?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Manuel+V.&rft.au=Hermenegildo%2C+Manuel+V.&rft.aulast=Hermenegildo&rft.tpages=618&rft.isbn=0262541041&rft.title=Program+analysis%2C+debugging+and+optimization+using+the+ciao+system+preprocessor&rft.btitle=Logic+Programming%3AProceedings+of+the+1999+International+Conference+on+Logic+Programming&rft.date=November+1999&rft.genre=proceeding