A framework for computing finite SLD trees | Publicación