An efficient algorithm for searching implicit AND/OR graphs with cycles

From MaRDI portal
Publication:1589573