BibTeX record journals/iandc/BonacinaH98

download as .bib file

@article{DBLP:journals/iandc/BonacinaH98,
  author    = {Maria Paola Bonacina and
               Jieh Hsiang},
  title     = {On the Modelling of Search in Theorem Proving - Towards a Theory of
               Strategy Analysis},
  journal   = {Inf. Comput.},
  volume    = {147},
  number    = {2},
  pages     = {171--208},
  year      = {1998}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics