Rewriting conversions implemented with continuations
From MaRDI portal
Publication:2655323
DOI10.1007/s10817-009-9146-5zbMath1185.68632OpenAlexW1984052416MaRDI QIDQ2655323
Publication date: 25 January 2010
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9146-5
Uses Software
Cites Work