An improved general \(E\)-unification method
From MaRDI portal
Publication:1201347
DOI10.1016/0747-7171(92)90010-2zbMath0773.68063MaRDI QIDQ1201347
Daniel J. Dougherty, Patricia Johann
Publication date: 17 January 1993
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0747-7171(92)90010-2
Related Items
Cites Work