@Inproceedings{EPTCS75.3,
  author    = {Makarov, Evgeny},
  year      = {2012},
  title     = {Provably Total Functions of Arithmetic with Basic Terms},
  editor    = {Marion, Jean-Yves},
  booktitle = {{\rm Proceedings Second Workshop on}
               Developments in Implicit Computational Complexity ,
               {\rm Saarbr\"ucken, Germany, April 2nd and 3rd, 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {75},
  publisher = {Open Publishing Association},
  pages     = {28-32},
  doi       = {10.4204/EPTCS.75.3},
}