%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/PageMode /UseOutlines
/Outlines 3 0 R
/PageLabels <<
/Nums [0 4 0 R]
>>
/Pages 5 0 R
/Lang ()
/OpenAction [6 0 R /FitH 800]
/Type /Catalog
/Names 7 0 R
>>
endobj
8 0 obj
<<
/Subject ()
/ModDate (D:20220416160056+00'00')
/Author ()
/Title ()
/Keywords ()
/Producer (Acrobat Distiller 7.0 \(Windows\))
/Creator (LaTeX with hyperref package)
/CreationDate (D:20201112103018+05'30')
>>
endobj
2 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 1990
>>
stream
Acrobat Distiller 7.0 (Windows)
2020-11-12T10:30:18+05:01
LaTeX with hyperref package
2020-11-12T10:30:35+05:01
2022-04-16T16:00:56+00:00
application/pdf
https://doi.org/10.1017/S0960129519000185 Published online by Cambridge University Press
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0960129519000185
uuid:2901543a-1910-46a7-a0e9-4a1cfabc2db8
uuid:d663b4b4-1493-488b-9646-a110ef707ea6
endstream
endobj
3 0 obj
<<
/Count 17
/First 9 0 R
/Last 9 0 R
>>
endobj
4 0 obj
<<
/S /D
/St 597
>>
endobj
5 0 obj
<<
/Count 30
/Type /Pages
/Kids [10 0 R 11 0 R 12 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 493.2 699.84]
/MediaBox [0 0 493.2 699.84]
/Rotate 0
/Annots [13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R
23 0 R]
/Resources 24 0 R
/Parent 10 0 R
/Contents [25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R]
/Type /Page
>>
endobj
7 0 obj
<<
/Dests 35 0 R
>>
endobj
9 0 obj
<<
/First 36 0 R
/Dest (HLtitle.0)
/Title (Extensions of unification modulo ACUI)
/Parent 3 0 R
/Last 37 0 R
/Count 16
>>
endobj
10 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [6 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R]
>>
endobj
11 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R]
>>
endobj
12 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
>>
endobj
13 0 obj
<<
/Rect [52.914 648.18 135.762 654.987]
/Subtype /Link
/A <<
/S /URI
/URI (https://doi.org/10.1017/S0960129519000185)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
14 0 obj
<<
/Rect [187.248 566.811 198.24 577.803]
/Subtype /Link
/A <<
/S /URI
/URI (https://orcid.org/0000-0002-1934-5741)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
15 0 obj
<<
/Rect [143.706 522.108 252.771 531.543]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:pavlos.marantidis@tu-dresden.de)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
16 0 obj
<<
/Rect [264.441 289.8 285.057 300.51]
/Dest (cite.SiekmannSurvey)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
17 0 obj
<<
/Rect [385.473 289.8 406.089 300.51]
/Dest (cite.BaaderSiekmannSurvey)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
18 0 obj
<<
/Rect [94.125 278.091 114.741 288.801]
/Dest (cite.BaSn01)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
19 0 obj
<<
/Rect [92.856 196.146 113.472 206.856]
/Dest (cite.KaNa92)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
20 0 obj
<<
/Rect [325.758 137.619 346.374 148.329]
/Dest (cite.KaNa92)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
21 0 obj
<<
/Rect [415.785 90.792 436.401 101.502]
/Dest (cite.Baad96b)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
22 0 obj
<<
/Rect [44.625 31.365 170.772 39.999]
/Subtype /Link
/A <<
/S /URI
/URI (http://creativecommons.org/licenses/by/4.0/)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
23 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [7.7999997 14.264648 133.62 22.189453]
/Border [0 0 0]
/A 67 0 R
>>
endobj
24 0 obj
<<
/ProcSet [/PDF /Text]
/ExtGState <<
/GS1 68 0 R
>>
/Font <<
/F1 69 0 R
/F2 70 0 R
/F3 71 0 R
/F4 72 0 R
/F5 73 0 R
/F6 74 0 R
/F7 75 0 R
/F8 76 0 R
/F9 77 0 R
/F10 78 0 R
>>
/Properties <<
/MC1 79 0 R
/MC2 80 0 R
>>
/ColorSpace <<
/Cs6 [/ICCBased 81 0 R]
>>
>>
endobj
25 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
26 0 obj
<<
/Filter /FlateDecode
/Length 1891
>>
stream
HWˎ\7WeEQ,c +."$=
|ҽ*>H/?i^m!žIi!JOw_dl1T3QYr^N1v=?]R%QO
~^$oOW)eo/D.W=?=|T܂^].%wZHTavFοSLw@]᪈˽2WIstq^q
|h+0$1{@x{E!qz;{eFd1E(8/;]"^w)@n~~~xi5m?yeĕC")D3RSx{24ԠDJp@?}K!!(,fɶpٙi
1n-|)f00l`v夎HFj0z2[FVHZ,2Fy0>tVhgW7yb~=RRc9(Say{dlf%:tg#b#H э,ML
*k,lWb`ڱE/H{emFQg)Is
ji:
f}jֱɯGCz6F_Fͮ}uUIx01{;){êr_Iy/,baiVo2ug)0|dA"nhcqSCeFlWvf<^ڭӨֲbq$gpxx3OՒUVwFsH֜62\W:њ (-gs$kYBo?`#hP\iX&.ܗ)ٿ3쟌Msv;w|5+s>=Wpf_<>}XБMV2m}]7z:m`
endstream
endobj
27 0 obj
<<
/Filter /FlateDecode
/Length 1556
>>
stream
HtWK$*
R۬7GwFL?1L/B'_!>R ~?q#2?f ]> r14]F3lu1szaeɘaf"uWy: өivLMc~3# .ggqnL:s=WwH{߷4%ݸ7\/Ïpqʢ
~ l2al8/i_1uBC4?_CZa7Mg0ߨ{ӹΙy|e S4f1RIckL.iC]C`0I#. d{1;3\Xza̛:ˡ֩p9t3
X_h$K˟ĸiHͬgYLs4w
[M2Tth9ڲ\6b+pR]݅!*9ұv;P"
m
>12 >4jʬ,ӝG&xHmԂ^&o=
h)ay0