SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification - Citegraph

Paper Info

Title
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification

Year	Venue	Field
1986	SLP	SLD resolution,Horn clause,Horn-satisfiability,Unification,Arithmetic,Mathematics
DocType	Citations	PageRank
Conference	14	1.06
References	Authors
0	2

Authors (2 rows)

Cited by (14 rows)

References (0 rows)

Name	Order	Citations	PageRank
Jean H. Gallier	1	749	111.86
Stan Raatz	2	176	37.68

1