?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Manuel+V.&rft.aulast=Hermenegildo&rft.au=Hermenegildo%2C+Manuel+V.&rft.date=October+1989&rft.title=On+the+correctness+and+efficiency+of+independent+and-parallelism+in+logic+programs&rft.tpages=1235&rft.isbn=0262620642&rft.btitle=Logic+Programming%2C+Proceedings+of+the+North+American+Conference+1989&rft.genre=proceeding