"Understanding biology through logic."

Jasmin Fisher (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics