Publication June 1, 2011 Conference PaperLogic in Software, Dynamical and Biological Systems SRI International June 1, 2011 ↓ View online Share this