Cited By
View all- Davis M(2020)Seventy Years of Computer ScienceFields of Logic and Computation III10.1007/978-3-030-48006-6_8(105-117)Online publication date: 23-May-2020
- Astrachan OStickel M(2005)Caching and lemmaizing in model elimination theorem proversAutomated Deduction—CADE-1110.1007/3-540-55602-8_168(224-238)Online publication date: 8-Jun-2005
- Neiman V(2005)On the problem of reducing search in logic program executionCOLOG-8810.1007/3-540-52335-9_56(232-241)Online publication date: 8-Jun-2005
- Show More Cited By