INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism.

Sang C. Suh, Clnio F. Salviano, Murat M. Tanik

Browse the full SEKE paper archive.