GCLA: Generalized Horn Clauses as a Programming Language. - Martin Aronsson; Lars-Henrik Eriksson; Anette Gäredal; Lars Hallnäs; Peter Olin (SCAI, 1989)

The programming language GCLA - A definitional approach to logic programming. - Martin Aronsson; Lars-Henrik Eriksson; Anette Gäredal; Lars Hallnäs; Peter Olin (New Gener. Comput., 1990)