Counterexamples to completeness results for basic narrowing (extended abstract) | Publicación