OpenAlex
What makes propositional abduction tractable
Work