Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from Quantifiers and Congruence Closure. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/bf01792985
10.1007/bf01792985 · 1990 · External reference
10.1007/3-540-28788-4
10.1007/3-540-28788-4 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1016/0168-0072(94)00025-x
10.1016/0168-0072(94)00025-x · 1995 · External reference
10.1305/ndjfl/1093636521
10.1305/ndjfl/1093636521 · 1986 · External reference
10.1007/978-3-642-72905-8
10.1007/978-3-642-72905-8 · External reference
Unresolved reference
1992 · External reference
10.4064/fm-109-2-103-112
10.4064/fm-109-2-103-112 · 1980 · External reference
Unresolved reference
1991 · External reference
