NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. - Christian Anger; Kathrin Konczak; Thomas Linke (IJCAR, 2001)

NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. - Christian Anger; Kathrin Konczak; Thomas Linke (LPNMR, 2001)

NoMoRe : Non-monotonic Reasoning with Logic Programs. - Christian Anger; Kathrin Konczak; Thomas Linke (JELIA, 2002)

More on noMoRe. - Thomas Linke; Christian Anger; Kathrin Konczak (NMR, 2002)

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. - Paul Borchert; Christian Anger; Torsten Schaub; Miroslaw Truszczynski (LPNMR, 2004)

The nomore++ Approach to Answer Set Solving. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (Answer Set Programming, 2005)

The nomore++ System. - Christian Anger; Martin Gebser; Thomas Linke; André Neumann; Torsten Schaub (LPNMR, 2005)

A Glimpse of Answer Set Programming. - Christian Anger; Kathrin Konczak; Thomas Linke; Torsten Schaub (Künstliche Intell., 2005)

What's a Head Without a Body? - Christian Anger; Martin Gebser; Tomi Janhunen; Torsten Schaub (ECAI, 2006)