proposal.aux
1.67 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
\relax
\providecommand\hyper@newdestlabel[2]{}
\abx@aux@refcontext{nty/global//global/global}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand*\HyPL@Entry[1]{}
\abx@aux@nociteall
\abx@aux@cite{0}{gebser2012answer}
\abx@aux@segm{0}{0}{gebser2012answer}
\abx@aux@cite{0}{riguzzi2022foundations}
\abx@aux@segm{0}{0}{riguzzi2022foundations}
\abx@aux@cite{0}{riguzzi2022foundations}
\abx@aux@segm{0}{0}{riguzzi2022foundations}
\abx@aux@cite{0}{cozman2020joy}
\abx@aux@segm{0}{0}{cozman2020joy}
\HyPL@Entry{0<</S/D>>}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Motivation }{1}{section.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}Work Plan}{2}{section.2}\protected@file@percent }
\abx@aux@read@bbl@mdfivesum{73BDA492174761309135B95A6EAD3ED6}
\abx@aux@defaultrefcontext{0}{cozman2020joy}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{cropper2022inductive}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{gebser2012answer}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{riguzzi2022foundations}{nty/global//global/global}
\abx@aux@defaultrefcontext{0}{verreet2022inference}{nty/global//global/global}
\gdef \@abspage@last{3}