\beamer@sectionintoc {1}{Introduction}{2}{0}{1}
\beamer@sectionintoc {2}{Cases \& Examples}{10}{0}{2}
\beamer@subsectionintoc {2}{1}{Programs with disjunctive heads}{10}{0}{2}
\beamer@subsectionintoc {2}{2}{Non-stratified programs}{14}{0}{2}
\beamer@sectionintoc {3}{Conclusions}{18}{0}{3}