Charles Univ., Inst. Teoretické Informatiky (ITI) kral@kam.mff.cuni.cz
Author, editor, or reviewer of:
