\subsection{Bibliographic Notes} % TODO: points to be added to 5.4 % A possibly helpful list is at https://cstheory.stackexchange.com/a/29452 % Also the bibliography file should be worked through.