Philippe Codognet Thierry Sola Extending the WAM for Intelligent Backtracking. 127-141 1991 ICLP db/conf/iclp/iclp91.html#CodognetS91