1989 | ||
---|---|---|
1 | Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, P. Olin: GCLA: Generalized Horn Clauses as a Programming Language. SCAI 1989: 873-887 |
1 | Martin Aronsson | [1] |
2 | Lars-Henrik Eriksson | [1] |
3 | Anette Gäredal | [1] |
4 | Lars Hallnäs | [1] |