author = {N. Popov and T. Jebelean},
title = {{A Complete Method for Algorithm Validation}},
booktitle = {{Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09}},
language = {english},
pages = {21--25},
address = {Hagenberg, Austria},
isbn_issn = {-},
year = {2009},
month = {June},
editor = {B. Buchberger and R. McCasland and A. Craciun},
refereed = {yes},
length = {5}