Representing logical inference steps with digital circuits
Matsak, Erika
Human interface and the management of information : information and interaction
2009
/
p. 178-184
https://link.springer.com/chapter/10.1007/978-3-642-02559-4_20