@Article{DietrichBuckleyTMCS08,
  Author         = {Dominik Dietrich and Mark Buckley},
  Title          = {{Verification of Human-level Proof Steps in
                   Mathematics Education}},
  Journal        = {Teaching Mathematics and Computer Science},
  number      = {2},
  pages       = {345-362},
  volume      = {6},
  year        = {2008}
}