Alexander Lyaletski (team leader, deductive technique)
Kyiv National Taras Shevchenko University, Faculty of Cybernetics
Member of the "Logic in Informatics" group.
E-mail: lav@unicyb.kiev.ua.

Konstantin Verchinine (FORmal THEory Language)
Université Paris XII – Val de Marne, Département Informatique

Andrey Paskevich (implementation)
Kyiv National Taras Shevchenko University, Faculty of Cybernetics
Member of the "Logic in Informatics" group.
E-mail: andrei@capet.iut-fbleau.fr

The members of EA team personally thank Anatoli Degtyarev (King's College, London) for his assistance.

The technical support was generously provided by the Computing Centre of the Faculty of Cybernetics and his head, Volodymyr Shevchenko.