A Logic-Based Technology to Mechanize Software Components Reuse. - Patrick Parot (AMAST, 1996)

A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). - Pierre Deransart; Patrick Parot; Roberto da Silva Bigonha; José de Siqueira (JICSLP, 1996)