Title: The automation of syllotistic.  II. Optimization and complexity issues
First published: 1988