Marc-Michel Corsini. Abstract interpretation can improve the efficiency of the bachtracking rule. In Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim, editors, JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. pages 374-385, 1992.
Abstract is missing.