Title: Contemporary Logic Design/Computer Logicworks Package