An interpretation of default logic in minimal temporal epistemic logic
scientific article; zbMATH DE number 1290127