author : Ehud Shapiro

Books

• The Art of Prolog. 1986, with Leon S. Sterling

Short works

• Using safe approximations of fixed points for analysis of logic programs. 1989. (In Meta-Programming in Logic Programming )
• The pi-calculus as an abstraction for biomolecular systems. 2004. (In 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)