%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author ()
/CreationDate (D:20180117174331Z)
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20180126121713Z)
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.15 \(TeX Live 2014\) kpathsea version 6.2.0)
/Producer (pdfTeX-1.40.15)
/Subject ()
/Title ()
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 3804
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
2018-01-17T17:43:31Z
LaTeX with hyperref package
2018-01-26T12:17:13Z
2018-01-26T12:17:13Z
pdfTeX-1.40.15
False
This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2014) kpathsea version 6.2.0
uuid:2c9ba740-d726-41da-8ef7-38119ff2a789
uuid:b5c515ce-2b7a-40c5-a861-a7a27d4a7230
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 5
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 16
/Kids [12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R]
/Limits [(Doc-Start) (section.5)]
>>
endobj
9 0 obj
<<
/Annots [18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R]
/Contents [26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 12 0 R
/Resources 34 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 35 0 R
/Next 36 0 R
/Parent 5 0 R
/Title (Introduction)
>>
endobj
11 0 obj
<<
/A 37 0 R
/Parent 5 0 R
/Prev 38 0 R
/Title (Related work and conclusions)
>>
endobj
12 0 obj
<<
/Count 7
/Kids [39 0 R 9 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 3
/Kids [51 0 R 52 0 R 53 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Kids [54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R]
/Limits [(Doc-Start) (definition.4.2)]
>>
endobj
16 0 obj
<<
/Kids [60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R]
/Limits [(definition.4.3) (page.8)]
>>
endobj
17 0 obj
<<
/Kids [66 0 R 67 0 R]
/Limits [(page.9) (section.5)]
>>
endobj
18 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://creativecommons.org)
>>
/Border [0 0 1]
/C [0 1 1]
/H /I
/Rect [385.633 48.682 456.755 61.634]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://creativecommons.org/licenses/by/3.0/)
>>
/Border [0 0 1]
/C [0 1 1]
/H /I
/Rect [457.004 48.682 498.673 61.634]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (cite.AccattoliDL16)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [499.484 194.299 506.931 203.732]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (cite.AccattoliBM14)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [511.086 194.299 518.533 203.732]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.Accattoli16)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [522.688 194.299 530.135 203.732]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.Girard89GoI1)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [333.676 126.401 346.578 135.986]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (cite.DanosR96)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [444.013 99.302 451.46 108.887]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/D (cite.Mackie95)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [514.506 99.215 527.408 108.887]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/Length 497
/Filter /FlateDecode
>>
stream
HRn }WhK-`fO[ҺIjCخ0NտIJ{\=Q0.y(-P`%qN/ӌ2C 2A2PW@1{D1) p`ruWN0PPO