A Very Intelligent Backtracking Method for Logic Programs.

Christian Codognet, Philippe Codognet, Gilberto Fil

Browse the full ESOP paper archive.