Paris-Amsterdam Logic Meetings of Young Researchers, 28–29 June. tr 2010, 4 (8).