9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988. Proceedings Lusk Ewing Heftet / 1988 / Engelsk
9th International Conference on Practical Applications of Computational Biology and Bioinformatics Overbeek Ross Heftet / 2015 / Engelsk
