"http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F68407700%3A21230%2F08%3A03145790!RIV09-MSM-21230___"^^ . . . "RIV/68407700:21230/08:03145790!RIV09-MSM-21230___" . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." . "BoolTool: A Tool for Manipulation of Boolean Functions" . "Proc. of 8th International Workshop on Boolean Problems" . . "1"^^ . . . . "qiZ9JVVvUJWsR94wMYDWG!SBs4o=" . . . "0"^^ . . . "0"^^ . .