APA (7th ed.) Citation

Lisitsa, A. (2025). Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction.

Chicago Style (17th ed.) Citation

Lisitsa, Alexei. Stable Andrews-Curtis Trivialization of AK(3) Revisited. A Case Study Using Automated Deduction. 2025.

MLA (9th ed.) Citation

Lisitsa, Alexei. Stable Andrews-Curtis Trivialization of AK(3) Revisited. A Case Study Using Automated Deduction. 2025.

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