1 problem
- 0 votes0 replies0 views
Containment and reduction for cherry-unresolved reticulated-cherry stack CPNs
Let and be CPNs on the same leaf-set in the class. Here, a cherry-picking sequence (CPS) of is a sequence used to reduce , and is contained in acco…