Koves, D. (2025). Beyond Pattern Completeness: Deciding Quasi-Reducibility in Left-Linear TRSs. Zenodo.
Chicago Style (17th ed.) CitationKoves, Daniel. Beyond Pattern Completeness: Deciding Quasi-Reducibility in Left-Linear TRSs. Zenodo, 2025.
MLA (9th ed.) CitationKoves, Daniel. Beyond Pattern Completeness: Deciding Quasi-Reducibility in Left-Linear TRSs. Zenodo, 2025.
Warning: These citations may not always be 100% accurate.