Novel approach to a rule-based general purpose program translator using paramodulation. - Yoshiyasu Takefuji; Michael Dowell (Knowl. Based Syst., 1988)