no image available Dickens & Co. "Cracking the Code: Deciphering the Art of ALCNIsubRsubsubSatisfiability" "Unlocking the Secrets of Fully Tiered Clauses and the Quest for Efficient Model Reasoning" Price: 24.00€