author = {Temur Kutsia},
year = {2013},
month = {December},
conferencename = {The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19},
url = {http://www.lpar-19.info/}