author = {Temur Kutsia},
year = {2012},
conferencename = { IJCAR Workshop on Automated Theory eXploration, ATX 2012},
url = {http://dream.inf.ed.ac.uk/events/atx2012/}