https://www.uedalab.jp/AITEC_ICOT_ARCHIVES/ICOT/Museum/TRTM/TR/tr0597.html
TR-597: Connectionist Model derived from Propositional Logic Formula (ICOT Technical Report)
ICOT Technical Report TR-597: Connectionist Model derived from Propositional Logic Formula, by K.Tomita (1990.10). Table of contents and full-text PDF.
connectionist modelpropositional logictechnical reportderivedformula