A Foundation for Metareasoning Part I: The Proof Theory (2002)

by G Criscuolo, F Giunchiglia, L Serafini
Venue:J. Log. Comput