Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs. - Cameron Calk; Anupam Das 002; Tim Waring (CoRR, 2020)