Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego. Executing Intensional Logic with the TAS Tool. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 561-566, 1996.
No references recorded for this publication.
No citations of this publication recorded.