A note on regular resolution
From MaRDI portal
Publication:1137994
DOI10.1007/BF02243428zbMath0431.03036MaRDI QIDQ1137994
Publication date: 1981
Published in: Computing (Search for Journal in Brave)
Related Items
Cites Work