A perceptron network theorem prover for the propositional calculus / Marc F.J. Drossaers
A perceptron network theorem prover for the propositional calculus