| Algorithm | Inputs | Decomposition result |
| Algorithm 5 | Figure 2(b) | {salecond}, {discountcond}, {deliverycond} | Algorithm 6 | Salecond in Figure 2(b), ordered | {<available,…,ordered>, <ordered,…,sold>, <available,…,sold>}, {<sold,…,used>} | Algorithm 7 | Salecond in Figure 2(b), | {<available,…,ordered>}, {<ordered,…,sold>}, {<available,…,sold>}, {<sold,…,used>} |
|
|