Automated Theorem Proving in Euler Diagram Systems
Inferring Phylogenetic Trees Using Answer Set Programming
Expression Reduction Systems with Patterns