Christian Codognet, Philippe Codognet, Gilberto Filé: Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465