Penny Anderson Program Extraction in a Logical Framework Setting. 144-158 1994 conf/lpar/1994 LPAR db/conf/lpar/lpar94.html#Anderson94 http://dx.doi.org/10.1007/3-540-58216-9_35