1. The Ten Most Wanted Solutions in Protein Bioinformatics;Tramontano,2005
2. DNA Microarrays and Related Genomic Techniques,2005
3. Single Nucleotide Polymorphism: Methods and Protocols,2003
4. A minsat approach for learning in logic domains;Felici;INFORMS Journal on Computing,2001
5. Design of Logic-Based Intelligent Systems;Truemper,2004