1. Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: J. Minker, (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89–148. Kaufmann (1988)
2. Charatonik., W., McAllester, D., Niwinski, D., Podelski, A., Walukiewicz, I.: The Horn Mu-calculus. In: Proc. LICS 1998, pp. 58–69 (1998)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
4. Clarke, E.M., Jha, S., Lu, Y., Veit, H.: Tree-Like Counterexamples in Model Checking. In: Proc. LICS 2002, pp. 19–29 (2002)
5. Colmerauer, A., Prolog and Infinite Trees, Logic Programming, pp. 231–251. Academic Press (1982)