Schematic Logic
1985 ◽
pp. 35-40