Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach
From MaRDI portal
Publication:3613420
DOI10.1007/11814771_32zbMath1222.68371OpenAlexW1502296299MaRDI QIDQ3613420
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771_32
Uses Software