Micha Meier Joachim Schimpf An Architecture for Prolog Extensions. 319-338 1992 conf/elp/1992 ELP db/conf/elp/elp92.html#MeierS92 http://dx.doi.org/10.1007/3-540-56454-3_16