author = {Temur Kutsia and Andrei Voronkov},
year = {2014},
conferencename = {6th International Symposium on Symbolic Computation in Software Science, SCSS 2014},
url = {www.easychair.org/smart-program/SCSS2014/}