Minimization of P-circuits using boolean relations | IEEE Conference Publication | IEEE Xplore