@conference {202,
	title = {Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection},
	booktitle = {Brazilian Symposium on Formal Methods (SBMF)},
	year = {2014},
	address = {Maceio, Brazil.},
	author = {Grigory Fedyukovich and Natasha Sharygina}
}
