. "Fundamenta Informaticae" . . "1.0"^^ . . . . "17.743999999999999773"^^ . "17.743999999999999773"^^ . . . "17.743999999999999773"^^ . "17.743999999999999773"^^ . . "1.0"^^ . "A75706089620BD25F89701D997EACBB1B726EB38" . "A Restarted Strategy for Efficient Subsumption Testing" . . . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F68407700%3A21230%2F08%3A03151541!RIV09-GA0-21230___"^^ . "RIV/68407700:21230/08:03151541!RIV09-GA0-21230___" . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." .