?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-60085-2_7&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Hermenegildo%2C+Manuel+V.&rft.aulast=Hermenegildo&rft.aufirst=Manuel+V.&rft.isbn=9783642642494&rft.btitle=The+Logic+Programming+Paradigm&rft.title=Using+global+analysis%2C+partial+specifications%2C+and+an+extensible+assertion+language+for+program+validation+and+debugging&rft.date=July+1999&rft.tpages=456&rft.genre=bookitem