?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-30885-7_14&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=D%C3%A9harbe%2C+David&rft.aulast=D%C3%A9harbe&rft.aufirst=David&rft.date=2012&rft.issn=0302-9743&rft.title=SMT+Solvers+for+Rodin&rft.genre=proceeding<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>