Milan Bankovic (milan@matf.bg.ac.rs)
University of Belgrade, 
Faculty of Mathematics,
Department of Computer Science
Automated reasoning group (ARGO).
http://argo.matf.bg.ac.rs/ 
