System Version
I. Surname
Institution, Country
email@address
Architecture
System Version [SysNN] is introduced in this section.
It describes the calculus, inference rules, and search control 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
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.
Any tuning of the system for the TPTP problems must be clearly described.
References
- SysNN
- Author1Surname I., Author2Surname I. (Date),
Conference Paper Title,
EditorSurname I.,
Proceedings Title
(ConferencePlace, ConferenceCountry),
pp.StartPage-EndPage,
Series-Title SeriesNumber,
Publisher.
- LibNN
- AuthorSurname I. (1994),
Journal Paper Title,
Journal Title Volume(Number),
pp.StartPage-EndPage,
Publisher.