iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://unpaywall.org/10.1109/LICS.2015.58
%PDF-1.4 % 1 0 obj << /Type /Catalog /Version /1.5 /Pages 2 0 R /OpenAction [3 0 R /Fit] /Names 4 0 R >> endobj 5 0 obj << /Creator
/Title
/Subject
/Author
/Producer
/CreationDate (D:20241115014546+01'00') /ModDate (D:20150516112016+02'00') /Trapped /False /PTEX.Fullbanner (This is pdfTeX, Version 3.1415926-2.5-1.40.14 \(TeX Live 2013\) kpathsea version 6.1.1) >> endobj 2 0 obj << /Type /Pages /Kids [3 0 R 6 0 R 7 0 R 8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R] /Count 15 >> endobj 3 0 obj << /Resources 20 0 R /Type /Page /Parent 2 0 R /Contents [21 0 R] /Annots [22 0 R 23 0 R] /CropBox [0.0 0.0 595.28 841.89] /MediaBox [0.0 0.0 595.28 841.89] /Rotate 0 >> endobj 4 0 obj << /Dests 24 0 R >> endobj 6 0 obj << /Type /Page /Contents 25 0 R /Resources 26 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 7 0 obj << /Type /Page /Contents 27 0 R /Resources 28 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 8 0 obj << /Type /Page /Contents 29 0 R /Resources 30 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 9 0 obj << /Type /Page /Contents 31 0 R /Resources 32 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 10 0 obj << /Type /Page /Contents 33 0 R /Resources 34 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 11 0 obj << /Type /Page /Contents 35 0 R /Resources 36 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 12 0 obj << /Type /Page /Contents 37 0 R /Resources 38 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 13 0 obj << /Type /Page /Contents 39 0 R /Resources 40 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 14 0 obj << /Type /Page /Contents 41 0 R /Resources 42 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 15 0 obj << /Type /Page /Contents 43 0 R /Resources 44 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 16 0 obj << /Type /Page /Contents 45 0 R /Resources 46 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 17 0 obj << /Type /Page /Contents 47 0 R /Resources 48 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 18 0 obj << /Type /Page /Contents 49 0 R /Resources 50 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 19 0 obj << /Type /Page /Contents 51 0 R /Resources 52 0 R /MediaBox [0.0 0.0 612.0 792.0] /Parent 2 0 R /CropBox [0.0 0.0 612.0 792.0] /Rotate 0 >> endobj 20 0 obj << /Font 53 0 R /XObject << /Im0 54 0 R /Im1 55 0 R >> /ProcSet [/PDF /Text /ImageC /ImageB /ImageI] >> endobj 21 0 obj << /Length 1524 /Filter /FlateDecode >> stream xڕXɎ#7+\#ZÇ [CA0~ʮat<=RZ-~qKNu-u|?,>ŇCFi;.r~qΟtM~:ЗB?\Ep.Ѽψ鯗ߖ_ޱZ"eZ%UEZ&@Õ>El;9
tȕ-{ g9y#CiDg3kp:@9ZBS80+UCD@.FK)24̦t)&7]'kbxL.-n#6HHf:T=oeCɐ9FYbdl6O}u%Hn]d3TA*X jh [;T7%olkPJӢqdTGjy53RyV>˞Н͕|zOф}])1q .x2:,k{H6wEhRGNV7e=WES[GJ]Cub<(ؓu&8hF]g~~@(k⚽eꐝ=#s2%'Fq쳤oW㳣ck $)&̹W;W%yT,o
C.)FV1َTat =D"o;`h&%X|c'rS_Yɣ4.t% }mnyVex1)'Ėd<7.b:ݼ>mbrMSmYHyx2|?sn PI%>_KQ-gKUG Q89Yut:xWp<>-?p+R`"#?庣x¹3azBbr@V)(7췓6&WBblXVrDsXW El҄'ouR3*:(H)$-17qllCY0is۴'݆.aG \ÖUz3wiKW%J> * M c$hƝ?Rtw9J-/LS Ԝ2/wY!\+W;H{6Ʋ?́M?V*ZJK.x-T^dEk[x=/ڒEt0^C1&*OODpC4jhz-zh&AnL>I:*9ΦVHaȝwe͊ݘ,8Bx_V(Mln%oMn9*ڋ>8|i^םErVJt V;V#Jjq endstream endobj 22 0 obj << /Type /Annot /Subtype /Link /Border [0 0 0] /H /I /C [0 1 1] /A 56 0 R /Rect [154.859 237.241 440.416 257.699] >> endobj 23 0 obj << /Type /Annot /Subtype /Link /Border [0 0 0] /H /I /C [0 1 1] /A 57 0 R /Rect [192.472 660.459 433.419 795.636] >> endobj 24 0 obj << /Names [(Doc-Start) [3 0 R /XYZ 72 826.58 null] (page.1) [3 0 R /XYZ 71 827.58 null] ] >> endobj 25 0 obj << /Length 5192 /Filter /FlateDecode >> stream xڝ[I㶒WiF!qHkn5n7G8Mz\\. )AĜ&˗ (;܅w?~^~EA.@] K?dUve]Os,m<]Uwy(Uc;C[)f08EaP$ym"RWGqyheͅ% EP** "qTgto{~OU~)߄돟z4ȳrW2CU6~zܻ{өzمjoֿQ