Automated Theorem Proving in Euler Diagram Systems Gem StapletonJudith MasthoffJane Southern OriginalPaper 02 June 2007 Pages: 431 - 470
Inferring Phylogenetic Trees Using Answer Set Programming Daniel R. BrooksEsra ErdemDon Ringe OriginalPaper 17 July 2007 Pages: 471 - 511
Expression Reduction Systems with Patterns Julien ForestDelia Kesner OriginalPaper 21 July 2007 Pages: 513 - 541