Development of reasoner chapter, bibliography