\relax 
\bibcite{geometry}{1}
\bibcite{pattern}{2}
\bibcite{programming}{3}
\citation{pattern}
\citation{programming}
\bibcite{critique}{4}
\bibcite{type}{5}
\citation{independent}
\citation{proof}
\bibcite{interconnect}{6}
\bibcite{hash}{7}
\bibcite{sort}{8}
\bibcite{implementation}{9}
\bibcite{representation}{10}
\bibcite{lauchli-countermodels}{11}
\bibcite{leveled-gc}{12}
\bibcite{sound-morphing}{13}
\bibcite{proposal_handles_short}{14}
\citation{proposal_handles}
\bibcite{independent}{1}
\bibcite{simulation}{2}
\citation{equations}
\bibcite{error}{3}
\bibcite{real}{4}
\bibcite{nonterminating-confluence}{5}
\bibcite{infinite-terms}{6}
\bibcite{loris}{7}
\bibcite{handbook-intro}{1}
\bibcite{handbook-elp}{2}
\bibcite{fully}{1}
\bibcite{interpolation}{2}
\bibcite{unorientable-equations}{3}
\bibcite{head-bounded}{4}
\bibcite{constructive-lecture}{5}
\bibcite{excite-formant}{6}
\bibcite{manifesto}{7}
\bibcite{onhs-id}{8}
\bibcite{proposal_handles}{9}
\citation{proposal_handles_short}
\bibcite{antinonmonotonic}{1}
\bibcite{relational-realizability}{2}
\bibcite{systems}{1}
\bibcite{logic}{2}
\bibcite{equations}{3}
\citation{pattern}
\citation{programming}
\citation{implementation}
\citation{simulation}
\bibcite{proof}{1}
\citation{type}
\bibcite{lectures}{2}
\citation{type}
\citation{equations}
\bibcite{universal}{3}
\citation{equations}
\bibcite{survey}{4}
\citation{programming}
\citation{implementation}
\citation{equations}
\bibcite{rewriting}{5}
\citation{survey}
\bibcite{open}{6}
\citation{survey}
\citation{rewriting}
\bibcite{equation}{7}
\citation{survey}
\citation{rewriting}
\citation{open}
\bibcite{electronic-journal}{8}
\bibcite{e-journal-issues}{9}
\citation{electronic-journal}
\bibcite{mfcs}{10}
\bibcite{electronic-academy}{11}
\bibcite{formal-certainty}{12}
\bibcite{antinonmonotonic-sigartchi}{13}