author = {Temur Kutsia},
year = {2016},
conferencename = {11th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2016)}