RISC JKU
  • @misc{RISC5442,
    author = {Temur Kutsia},
    year = {2016},
    conferencename = {International Workshop on Unification},
    activity = {Steering committee member}
    }