Graph traversal and top-down evaluation of logic queries

From MaRDI portal
Publication:1130171