This application serves for searching in Vol.1 - Vol.3, No.2. For searching in other volumes visit acm.kme.zcu.cz.