Representing Logic Program Schemata in lambda-Prolog

Timothy S. Gegg-Harrison. Representing Logic Program Schemata in lambda-Prolog. In ICLP. pages 467-481, 1995.

Abstract

Abstract is missing.