Towards a Reasoning Framework
@unpublished{Aut-01-b,
  author        = {Autexier, Serge},
  title         = {Towards a Reasoning Framework},
  month         = {january},
  year          = {2001},
}