APA (7th ed.) Citation

Kappelmann, K. (2025). Zippy -- Generic White-Box Proof Search with Zippers.

Chicago Style (17th ed.) Citation

Kappelmann, Kevin. Zippy -- Generic White-Box Proof Search with Zippers. 2025.

MLA (9th ed.) Citation

Kappelmann, Kevin. Zippy -- Generic White-Box Proof Search with Zippers. 2025.

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