Applying knowledge-based techniques and artificial intelligence to automated problem solving in science, technology and bioinformatics. - Matthew John Sullivan (1999)