ABSFOL: A proof checker with abstraction
From MaRDI portal
Publication:4647506
DOI10.1007/3-540-61511-3_74zbMath1412.68226MaRDI QIDQ4647506
Fausto Giunchiglia, Adolfo Villafiorita
Publication date: 15 January 2019
Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61511-3_74
Related Items
Uses Software