The programming language GCLA - A definitional approach to logic programming

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin. The programming language GCLA - A definitional approach to logic programming. New Generation Comput., 7(4):381-404, 1990. [doi]

Abstract

Abstract is missing.