%0 Conference Paper %1 conf/lpar/DorochevskyLRSV92 %A Dorochevsky, Michel %A Li, Liang-Liang %A Reeve, Mike %A Schuerman, Kees %A Véron, André %B LPAR %D 1992 %E Voronkov, Andrei %I Springer %K dblp %P 469-471 %T ElipSys - A Parallel Programming System based on Logic. %U http://dblp.uni-trier.de/db/conf/lpar/lpar92.html#DorochevskyLRSV92 %V 624 %@ 3-540-55727-X

@inproceedings{conf/lpar/DorochevskyLRSV92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Dorochevsky, Michel and Li, Liang-Liang and Reeve, Mike and Schuerman, Kees and Véron, André}, biburl = {https://www.bibsonomy.org/bibtex/272f580d7457bf13ae8a6be677d129ec4/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/1992}, editor = {Voronkov, Andrei}, ee = {https://doi.org/10.1007/BFb0013090}, interhash = {38b59419ad3db6ce3de72b72fdac0396}, intrahash = {72f580d7457bf13ae8a6be677d129ec4}, isbn = {3-540-55727-X}, keywords = {dblp}, pages = {469-471}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:22:15.000+0200}, title = {ElipSys - A Parallel Programming System based on Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar92.html#DorochevskyLRSV92}, volume = 624, year = 1992 }