On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
| Title | On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Miguel Areias and Ricardo Rocha |
| Conference Name | 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014) |
| Month of Publish | January |
| Publisher | Springer - LNCS |
| Conference Location | San Diego, CA, USA |
| DOI | 10.1007/978-3-319-04132-2_12 |