David Gilbert A LOTOS to PARLOG Translator. 31-44 1988 conf/forte/1988 FORTE db/conf/forte/forte1988.html#Gilbert88