Giovanni Criscuolo Fausto Giunchiglia Luciano Serafini A Foundation for Metareasoning Part II: The Model Theory. 345-370 2002 12 J. Log. Comput. 3 http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_03/120345.sgm.abs.html db/journals/logcom/logcom12.html#CriscuoloGS02a