APA Citation

Yong Kiam, T. (2023). Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. Springer.

Chicago Style Citation

Yong Kiam, Tan. Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. Springer, 2023.

MLA Citation

Yong Kiam, Tan. Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. Springer, 2023.

Warning: These citations may not always be 100% accurate.