id: 70922248
dt: a
an: 70922248
au: Galanis, Spyros
ti: Syntactic foundations for unawareness of theorems
so: TARK, 136-145 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1562814.1562835