Contact
dr Roman Matuszewski
University of Bialystok
Institute of Computer Science
ul. Ciolkowskiego 1 M, room 2021
15-245 Bialystok, Poland
e-mail: romat@mizar.org