Global solutions for nonlinear systems using qualitative reasoning*
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
Heuristics used by HERBY for semantic tree theorem proving
Introducing the mathematical category of artificial perceptions
Adaptation of declaratively represented methods in proof planning
Horn minimization by iterative decomposition
Inference guiding in propositional knowledge bases*