System Version

I. Surname
Institution, Country
email@address

Architecture

System Version [SysNN] is introduced in this section. It describes the calculus and inference rules used.

Start this section as shown, with the system name and version, citing any salient papers. Write the whole system description using 3rd person passive voice, i.e., say "something has been done" rather than "we did something".

Implementation

This section describes the implementation of the ATP system, including the programming language used, important internal data structures, and any special code libraries [LibNN] used. You can point to a WWW site where the system is available like this:

    http://URL

Strategies

This section describes the search strategies used, why they are effective, and how they are selected for given problems. Any strategy tuning that is based on specific problems' characteristics must be clearly described (and justified in light of the tuning restrictions).

Expected Competition Performance

This section should make some prediction about the performance of the ATP system in each of the divisions and categories the system is competing in.

References

SysNN: Author1Surname I., Author2Surname I. (Date), Conference Paper Title, EditorSurname I., Proceedings Title (ConferencePlace, ConferenceCountry), pp.StartPage-EndPage, SeriesTitle SeriesNumber, Publisher.
LibNN: AuthorSurname I. (Date), Journal Paper Title, Journal Title Volume(Number), pp.StartPage-EndPage, Publisher.