On solving the equality problem in theories defined by Horn clauses
From MaRDI portal
Publication:1085152
DOI10.1016/0304-3975(86)90114-3zbMath0607.03002MaRDI QIDQ1085152
Publication date: 1986
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(86)90114-3
DB lookup for MSC labels failed