On the satisfiability of circumscription

DOI10.1016/0004-3702(86)90028-7zbMath0589.03020OpenAlexW2076024411MaRDI QIDQ1073786

Could not fetch data.

Publication date: 1986

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(86)90028-7

Mathematics Subject Classification ID

Could not fetch data.