OpenAlex
The Complexity of Counting Problems in Equational Matching
Work