In handbook of automated reasoning

By N. Dershowitz, D. Plaisted. 2001

344 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/311c87aec52c97ea13f56da0c830a9ee3b2b4832