Discovery challenge : proceedings of the workshop W10 - Berka, Petr, 1959-; Crémilleux, Bruno ([nakladatel není známý], 2005)