Húsek, Dušan - Frolov, A. - Polyakov, P.Y.
Analysis and Evaluation of Different Methods for Barr Problem Solving.
Prague: ICS AS CR, 2010. 27 s. Technical Report, V-1082.
R&D Projects: GA ČR GAP202/10/0262; GA ČR GA205/09/1079; GA MŠMT(CZ) 1M0567
http://hdl.handle.net/11104/0188882