Return to Article Details State of the art on research in the resolution of logic and probability problems Download Download PDF