Proceedings of AB 2007, the second international conference on Algebraic Biology, Springer LNCS vol. 4545, pp. x--x, 2007.

@INPROCEEDINGS{harrison-ab, author = "John Harrison", title = "A short survey of automated reasoning", editor = "Hirokazu Anai and Katsuhisa Horimoto and Temur Kutsia", booktitle = "Proceedings of the Second International Conference on Algebraic Biology, AB 2007", address = "Castle of Hagenberg, Austria", year = 2007, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = 4545, pages = "334--349"}