?url_ver=Z39.88-2004&rft_id=30693016&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=S%C3%A1ndor&rft.aulast=V%C3%A1gv%C3%B6lgyi&rft.au=+V%C3%A1gv%C3%B6lgyi+S%C3%A1ndor&rft.pages=47-74&rft.volume=105&rft.atitle=Some+decidability+results+on+one-pass+reductions&rft.title=JOURNAL+OF+LOGICAL+AND+ALGEBRAIC+METHODS+IN+PROGRAMMING&rft.date=2019&rft.issn=2352-2208&rft.genre=article