We don’t have enough information about this author to calculate their statistics.
If you think this is an error
let us know.
Sorry, we do not have enough data to show an influence graph for this author.
Highly Influential Citations
The Horn Basis of a Set of Clauses
J. Log. Program.