Boggia-Togna, Gianfranco "A Scratchpad for Truth-functional Logic" Computer Language Magazine 8(12) December, 1991

Languages mentioned

• QUINE {1991}