Login / Signup

An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog.

Lunjin LuPeter Greenfield
Published in: ALPUK (1992)
Keyphrases