"Logick\u00E9 programov\u00E1n\u00ED s omezuj\u00EDc\u00EDmi podm\u00EDnkami"@cs .