Walter, M., Drewniok, J., Sze Hang Ng, S., Walus, K., & Wille, R. Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic (Version 0.1.0) [Computer software]. https://doi.org/10.1145/3611315.3633246