Jean Jourdan Raúl E. Valdés-Pérez Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry. 154-172 1990 NACLP db/conf/slp/slp90.html#JourdanV90