An interactive logic activity modelling program. - Harriett B. Rigas; H. B. Jacoby; V. Bruce Hunt (ACM Annual Conference (2), 1972)