Nonmonotonic reasoning from theoretical foundation towards efficient computation - Brewka, Gerhard (1989)