Trích dẫn APA

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

Trích dẫn theo kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo! Những trích dẫn này có thể không chính xác 100%.