APA (7th ed.) Citation

Dudenhefner, A. (2026). Mechanized Undecidability of Higher-order beta-Matching (Extended Version).

Chicago Style (17th ed.) Citation

Dudenhefner, Andrej. Mechanized Undecidability of Higher-order Beta-Matching (Extended Version). 2026.

MLA (9th ed.) Citation

Dudenhefner, Andrej. Mechanized Undecidability of Higher-order Beta-Matching (Extended Version). 2026.

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