%0 Conference Paper %1 conf/scai/AronssonEGHO89 %A Aronsson, Martin %A Eriksson, Lars-Henrik %A Gäredal, Anette %A Hallnäs, Lars %A Olin, Peter %B SCAI %D 1989 %E Jaakkola, Hannu %E Linnainmaa, Seppo %I IOS Press %K dblp %P 873-887 %T GCLA: Generalized Horn Clauses as a Programming Language. %U http://dblp.uni-trier.de/db/conf/scai/scai1989.html#AronssonEGHO89 %V 4 %@ 90-5199-017-0

@inproceedings{conf/scai/AronssonEGHO89, added-at = {2019-08-01T00:00:00.000+0200}, author = {Aronsson, Martin and Eriksson, Lars-Henrik and Gäredal, Anette and Hallnäs, Lars and Olin, Peter}, biburl = {https://www.bibsonomy.org/bibtex/247b1758a9b7b0fd14901d2cc29ba5111/dblp}, booktitle = {SCAI}, crossref = {conf/scai/1989}, editor = {Jaakkola, Hannu and Linnainmaa, Seppo}, interhash = {b979967783f49c61f5d2d426793108d5}, intrahash = {47b1758a9b7b0fd14901d2cc29ba5111}, isbn = {90-5199-017-0}, keywords = {dblp}, pages = {873-887}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2019-08-02T11:36:19.000+0200}, title = {GCLA: Generalized Horn Clauses as a Programming Language.}, url = {http://dblp.uni-trier.de/db/conf/scai/scai1989.html#AronssonEGHO89}, volume = 4, year = 1989 }