Automated Reasoning in the Simulation of Evolvable Systems. - Djihed Afifi; David E. Rydeheard; Howard Barringer (PAAR@IJCAR, 2010)

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. - Djihed Afifi; David E. Rydeheard; Howard Barringer (RV, 2010)