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