A Graphical Deduction System (1976)

by Philip T Cox, T Pietrzykowski