A state vector algebra for algorithmic implementation of second-order logic | Read Paper on Bytez