{"product_id":"lutz-mer-pl-termination-proofs-for-logic-programs-lecture-notes-in-computer-science-446-band-446-9783540528371","title":"Termination Proofs for Logic Programs (Lecture Notes in Computer Science, 446, Band 446)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53823131451734,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/lutz-mer-pl-termination-proofs-for-logic-programs-lecture-notes-in-computer-science-446-band-446-9783540528371","provider":"momoxbooks","version":"1.0","type":"link"}