Stem datastructur$ (all stems)
2 papers:
- IJCAR-2001-Voronkov #algorithm #automation #deduction #performance
- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction (AV), pp. 13–28.
- ICLP-1995-GuptaCP #array #logic programming #parallel
- Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (GG, VSC, EP), p. 824.