1. Egly, U., Eiter, T., Tompits, H., Woltran, S.: Solving advanced reasoning tasks using quantified boolean formulas. In: AAAI 2000, Austin (USA), pp. 417–422 (2000)
2. Fargier, H., Lang, J., Marquis, P.: Propositional Logic and One-stage Decision Making. In: KR 2000, Breckenridge (CO), pp. 445–456 (2000)
3. Lecture Notes in Artificial Intelligence;P. Besnard,2002
4. Rintanen, J.: Constructing Conditional Plans by a Theorem-Prover. Journal of Artificial Intelligence Research 10, 323–352 (1999)
5. Lecture Notes in Artificial Intelligence;G. Pan,2002