From knowledge-based programs to graded belief-based programs. I: On-line reasoning
scientific article; zbMATH DE number 5005194