author : Ehud Shapiro

Books

• The Art of Prolog. 1986. With Leon S. Sterling

Papers/Articles

• 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