Executing Intensional Logic with the TAS Tool. - Manuel Enciso; J. F. Moncada; Inman P. de Guzmán; Manuel Ojeda-Aciego (APPIA-GULP-PRODE, 1996)