@inproceedings{deploy179,
       booktitle = { 9th International Workshop on Automated Verification of Critical Systems: AVoCS 2009},
           title = {Learning from experts to aid the automation of proof search.},
          author = {Alan Bundy and Gudmund Grov and Cliff B Jones},
            year = {2009},
             url = {http://deploy-eprints.ecs.soton.ac.uk/179/}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>