@conference {PintoJS:towmapbva,
	title = {Towards a mostly-automated prover for bit-vector arithmetic},
	booktitle = {Proceedings of the International Conference on Computer Science and Software Engineering - WSEAS},
	series = {C3S2E {\textquoteright}13},
	year = {2013},
	month = {September},
	pages = {132{\textendash}133},
	publisher = {ACM},
	organization = {ACM},
	address = {Hubei, CHINA},
	abstract = {<p>We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic.</p>
},
	keywords = {bit-vectors, rewriting, SMT, theorem proving},
	isbn = {978-1-4503-1976-8},
	doi = {10.1145/2494444.2494445},
	url = {http://doi.acm.org/10.1145/2494444.2494445},
	attachments = {https://haslab.uminho.pt/sites/default/files/jsp/files/2013_c3c2e13.pdf},
	author = {Iago Abal and Jorge Sousa Pinto}
}