Evaluation ensembliste en largeur d abord dans Prolog

R. Lescoeur, Jean-Marc Kerisit. Evaluation ensembliste en largeur d abord dans Prolog. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 429-442, 1986.

Abstract

Abstract is missing.