Jonas Barklund Pierangelo Dell'Acqua Stefania Costantini Gaetano Aurelio Lanzarone Reflection principles in computational logic. 743-786 2000 10 J. Log. Comput. 6 http://www3.oup.co.uk/logcom/hdb/Volume_10/Issue_06/100743.sgm.abs.html db/journals/logcom/logcom10.html#BarklundDCL00