A Foundation for Metareasoning Part I: The Proof Theory

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/logcom/CriscuoloGS02,

 author    = {Giovanni Criscuolo and
              Fausto Giunchiglia and
              Luciano Serafini},
 title     = {A Foundation for Metareasoning Part I: The Proof Theory},
 journal   = {J. Log. Comput.},
 volume    = {12},
 number    = {1},
 year      = {2002},
 pages     = {167-208},
 ee        = {http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_01/120167.sgm.abs.html},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}