McIver, A. K.; Morgan, C. Partial correctness for probabilistic demonic programs. (English) Zbl 0992.68137 Theor. Comput. Sci. 266, No. 1-2, 513-541 (2001). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Yamasaki, S.; Kurose, Y. A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics. (English) Zbl 0992.68138 Theor. Comput. Sci. 266, No. 1-2, 489-512 (2001). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI