chapter AFP

session "Saturation_Framework" = Ordered_Resolution_Prover +
  options [timeout=300]
  sessions
    Lambda_Free_RPOs
    Well_Quasi_Orders
  theories
    Given_Clause_Architectures
  document_files
    "root.tex"
