Hierarchical Contextual Reasoning
@phdthesis{Au-03-a, author = {Autexier, Serge}, title = {Hierarchical Contextual Reasoning}, school = {Computer Science Department, Saarland University, Saarbr\"ucken, Germany}, month = {december}, year = {2003}, }