Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. Exploring life: answer set programming in bioinformatics. In Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. pages 359-412, ACM / Morgan & Claypool, 2018. [doi]
Abstract is missing.