Higher-Order Substitution Tree Indexing (2003)

Cached

Download Links

by Brigitte Pientka
Venue:19th International Conference on Logic Programming
Citations:16 - 5 self