Login / Signup

A New Term Representation Method for Prolog.

Xining Li
Published in: J. Log. Program. (1998)
Keyphrases