Series-parallel irreducibility: Machine oriented definitions and proofs | IEEE Conference Publication | IEEE Xplore