Title: The efficient automatic translation of CHISLE intoBLIF
First published: 1993