An Expert System for Pi-Calculus and Api-Calculus Automated Reduction. - Shahram Rahimi 001; John Dillards; Bidyut Gupta (Software Engineering Research and Practice, 2008)