TY  - RPRT
TI  - Reducing Boolean Networks with Backward Boolean Equivalence
AU  - Georgios Argyris
AU  - Alberto Lluch Lafuente
AU  - Mirco Tribastone
AU  - Max Tschaikowski
AU  - Andrea Vandin
PY  - 2021
UR  - https://arxiv.org/abs/2106.15476
ID  - 2106.15476
ER  -