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},
}