Improving Saturation Efficiency with Implicit Relations. - Shruti Biswal; Andrew S. Miner (Petri Nets, 2019)

Reachability Set Generation Using Hybrid Relation Compatible Saturation. - Shruti Biswal; Andrew S. Miner (RP, 2020)