Four-Level Forms for Memristive Material Implication Logic | IEEE Journals & Magazine | IEEE Xplore