Primal infon logic: Derivability in polynomial timeAnguraj BaskarPrasad Naldurget al.2013FSTTCS 2013Conference paper