frontier.tex is the ICAPS version which removes all mention of anytime