Executing Intensional Logic with the TAS Tool.

Manuel Enciso J. F. Moncada Inman P. de Guzmán Manuel Ojeda-Aciego Executing Intensional Logic with the TAS Tool. 561-566 1996 conf/agp/1996 APPIA-GULP-PRODE db/conf/agp/agp1996.html#EncisoMGO96