APA (7th ed.) Citation

Kappé, T. (2025). On Propositional Program Equivalence (extended abstract).

Chicago Style (17th ed.) Citation

Kappé, Tobias. On Propositional Program Equivalence (extended Abstract). 2025.

MLA (9th ed.) Citation

Kappé, Tobias. On Propositional Program Equivalence (extended Abstract). 2025.

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