On program correctness and teaching programming. - Militon Frentiu (Comput. Sci. J. Moldova, 1997)

Textual Entailment Recognizing by Theorem Proving Approach - Doina Tatar; Militon Frentiu (CoRR, 2008)

A chain dictionary method for Word Sense Disambiguation and applications - Doina Tatar; Gabriela Serban; Andreea Diana Mihis; Mihaiela Lupea; Dana Lupsa; Militon Frentiu (CoRR, 2008)