A note on regular resolution
From MaRDI portal
Publication:1137994
DOI10.1007/BF02243428zbMath0431.03036OpenAlexW390733291MaRDI QIDQ1137994
Publication date: 1981
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02243428
Related Items
Cites Work
This page was built for publication: A note on regular resolution