> Ehud Shapiro
author : Ehud Shapiro
The Art of Prolog
Leon S. Sterling
Using safe approximations of fixed points for analysis of logic programs. 1989.
Meta-Programming in Logic Programming
The pi-calculus as an abstraction for biomolecular systems. 2004.
Modelling in Molecular Biology
Books : reviews
Leon S. Sterling, Ehud Shapiro.
The Art of Prolog: advanced programming techniques
MIT Press. 1986
(read but not reviewed)