1. Anger, C., Linke, M.T., Neumann, A., Schaube, T.: The nomore++ System. In: Baral, C., et al. (eds.) Proc. LPNMR 2005, LNAI, pp. 422–426. Springer, Berlin Heidelberg New York (2005)
2. Avellone, A., Ferrari, M., Miglioli, P.: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Log. J. IGPL 7(4), 447–480 (1999)
3. Balduccini, M., Gelfond, M., Noguiera, M.: A-Prolog as a tool for declarative programming. In: Proc. 12th Int. Conf. on Software Engineering and Knowledge Engineering, SEKE 2000, Chicago, IL (2000)
4. Balduccini, M., Gelfond, M., Noguiera, M.: The USA-Advisor: a case study in answer set planning. Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, LNAI 2173, Springer, Berlin Heidelberg New York (2001)
5. Baral, C.: Knowlewdge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, UK (2003)