[comp.parallel] Revised bibliography.

alf@gatech.UUCP (Thomas Sjoeland) (03/22/89)

Oops, how embarassing !

I sent you a bibliography which was not quite the final edited version.
If you take out the header and the first part of both
messages up to the line 'No new entries were added.'( in this message you
take out the beginning as indicated below) you can then run the
command 'patch earlier_msg this_msg' and thereby get a corrected 
bibliography. 

For your convenience I add a few lines here containing two small files which
I used to simplify my editing, one commandfile and one sed-script.

In order to take out illegal commas from "Author" and "Editor" fields
this command was iterated manually until no difference existed:

mv lpbibl.0 lpbibl.new ; sed -f fixcommasinauthorfield.sed < lpbibl.new > lpbibl.0 ; diff lpbibl.new lpbibl.0

The sedscript  'fixcommasinauthorfield.sed' looks like this:

s/Author\(.*\)\,\(.*\)\"\,$/Author \1 and \2  \"\,/
s/Editor\(.*\)\,\(.*\)\"\,$/Editor \1 and \2  \"\,/
s/  / /g


	Good luck ! /TS


Use all after this line as a patchfile:
1,4d0
< No new entries were added.
< 
< 	Kindly /Thomas Sj\"{o}land, SICS
< 
79c75
< 	Author="Andrzej Ciepielewski, S. Haridi",
---
> 	Author ="Andrzej Ciepielewski and S. Haridi ",
110c106
< 	Author="S. Taylor, A. Lowry, G.Q. Maguire Jr., S.J. Stolfo",
---
> 	Author ="S. Taylor and A. Lowry and G.Q. Maguire Jr. and S.J. Stolfo ",
376c372
< 	Editor="Nucleo de Inteligencia Artificial, Universidade Nova de Lisboa",
---
> 	Editor ="Nucleo de Inteligencia Artificial and Universidade Nova de Lisboa ",
412c408
< 	Author="Kazunori Ueda, Takashi Chikayama",
---
> 	Author ="Kazunori Ueda and Takashi Chikayama ",
421c417
< 	Author="Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji",
---
> 	Author ="Koichi Furukawa and Akikazu Takeuchi and Susumu Kunifuji ",
441c437
< 	Author="A. Goto, H. Tanaka, T Moto-Oka",
---
> 	Author ="A. Goto and H. Tanaka and T Moto-Oka ",
453c449
< 	Author="T. Moto-Oka, H. Tanaka, H. Aida, K. Hirata, T. Maruyama",
---
> 	Author ="T. Moto-Oka and H. Tanaka and H. Aida and K. Hirata and T. Maruyama ",
464c460
< 	Author="Noriyoshi Ito, K. Masuda, H. Shimizu",
---
> 	Author ="Noriyoshi Ito and K. Masuda and H. Shimizu ",
496c492
< 	Author="K. Murakami, T. Kakuta, R. Onai",
---
> 	Author ="K. Murakami and T. Kakuta and R. Onai ",
507c503
< 	Author="K. Clark, S. Gregory",
---
> 	Author ="K. Clark and S. Gregory ",
517c513
< 	Author="S. Kasif, J. Minker",
---
> 	Author ="S. Kasif and J. Minker ",
527c523
< 	Author="J. S. Conery, D.F. Kibler",
---
> 	Author ="J. S. Conery and D.F. Kibler ",
567c563
< 	Author="D. DeGroot, J.H. Chang",
---
> 	Author ="D. DeGroot and J.H. Chang ",
586c582
< 	Author="J.S. Conery, D.F. Kibler",
---
> 	Author ="J.S. Conery and D.F. Kibler ",
588a585
> 	Volume=" ",
597c594
< 	Author="N. Ito, H. Shimizu, M. Kishi, E. Kuno, K. Rokusawa",
---
> 	Author ="N. Ito and H. Shimizu and M. Kishi and E. Kuno and K. Rokusawa ",
599a597
> 	Volume=" ",
638c636
< 	Author="K. Murakami, T. Kakuta, R. Onai and N. Ito",
---
> 	Author ="K. Murakami and T. Kakuta and R. Onai and N. Ito ",
648c646
< 	Author="R. Onai, M. Aso, H. Shimizu, K. Masuda, A. Matsumoto",
---
> 	Author ="R. Onai and M. Aso and H. Shimizu and K. Masuda and A. Matsumoto ",
659c657
< 	Author="Yukio Sohma, Ken Satoh, Koichi Kumon, Hideo Masuzawa, Akihiro Itashiki",
---
> 	Author ="Yukio Sohma and Ken Satoh and Koichi Kumon and Hideo Masuzawa and Akihiro Itashiki ",
682c680
< 	Author="Shigeki Shibayama, Kazuhide Iwata, Hiroshi Sakai",
---
> 	Author ="Shigeki Shibayama and Kazuhide Iwata and Hiroshi Sakai ",
693c691
< 	Author="Wolfgang Giloi, Joachim Beer",
---
> 	Author ="Wolfgang Giloi and Joachim Beer ",
725c723
< 	Author="R. Lee, R. Goebel",
---
> 	Author ="R. Lee and R. Goebel ",
735c733
< 	Author="T. Miyazaki, A. Takeuchi, T. Chikayama",
---
> 	Author ="T. Miyazaki and A. Takeuchi and T. Chikayama ",
745c743
< 	Author="J.H. Chang, A.M. Despain",
---
> 	Author ="J.H. Chang and A.M. Despain ",
765c763
< 	Author="R.M. Keller, G. Lindstrom, S. Patil",
---
> 	Author ="R.M. Keller and G. Lindstrom and S. Patil ",
806c804
< 	Author="E. Shapiro, W. Silverman, A. Houri, M. Hirsch",
---
> 	Author ="E. Shapiro and W. Silverman and A. Houri and M. Hirsch ",
813c811
< 	Author="T. Yamaguchi, Y. Tezuka, O. Kakusho",
---
> 	Author ="T. Yamaguchi and Y. Tezuka and O. Kakusho ",
890c888
< 	Author="Rikio Onai, Hajime Shimizu, Kanae Masuda and Moritoshi Aso",
---
> 	Author ="Rikio Onai and Hajime Shimizu and Kanae Masuda and Moritoshi Aso ",
920c918
< 	Author="K. M. Ali, L. Fahl\'{e}n, R. Karlsson",
---
> 	Author ="K. M. Ali and L. Fahl\'{e}n and R. Karlsson ",
935c933
< 	Author="Mamoru Sugie, et al.",
---
> 	Author ="Mamoru Sugie and et al. ",
955c953
< 	Author="Y.-J. Lin, V. Kumar, and C. Leung",
---
> 	Author ="Y.-J. Lin and V. Kumar and C. Leung ",
967c965
< 	Author="L.M. Pereira, L. Monteiro, J. Cunha, and J.N. Aparicio",
---
> 	Author ="L.M. Pereira and L. Monteiro and J. Cunha and J.N. Aparicio ",
1015c1013
< 	Author="R. Butler, E. Lusk, W. McCune, and R. Overbeek",
---
> 	Author ="R. Butler and E. Lusk and W. McCune and R. Overbeek ",
1035c1033
< 	Author="K. Kumon, H. Masuzawa, A. Itashiki",
---
> 	Author ="K. Kumon and H. Masuzawa and A. Itashiki ",
1055c1053
< 	Author="P. Borgwardt, D. Rea",
---
> 	Author ="P. Borgwardt and D. Rea ",
1092c1090
< 	Author="H. Masuzawa, et al.",
---
> 	Author ="H. Masuzawa and et al. ",
1104,1105c1102,1104
< 	Author="M. Carlsson, E. L. Lusk, R. Overbeek, D.H.D. Warren",
< 	Title="Maintaining Multiple Binding Environments to Support OR-Parallelism"}
---
> 	Author ="M. Carlsson and E. L. Lusk and R. Overbeek and D.H.D. Warren ",
> 	Title="Maintaining Multiple Binding Environments to Support OR-Parallelism",
> 	Note="Unpublished document"}
1127c1126
< 	Author="Keiji Hirata, Tsutomu Maruyama, Hidehiko Tanaka",
---
> 	Author ="Keiji Hirata and Tsutomu Maruyama and Hidehiko Tanaka ",
1137c1136
< 	Author="J. Chassin de Kergommeaux, P. Robert, H. Westphal",
---
> 	Author ="J. Chassin de Kergommeaux and P. Robert and H. Westphal ",
1157c1156
< 	Author="M. Kharoune, A. Aggoune",
---
> 	Author ="M. Kharoune and A. Aggoune ",
1181c1180
< 	Journal="IJPP"
---
> 	Journal="IJPP",
1236c1235
< 	Author="J. Boyle, R. Butler, B. Glickfeld, T. Disz, E. Lusk, R. Overbeek, J. Patterson, R. Stevens",
---
> 	Author ="J. Boyle and R. Butler and B. Glickfeld and T. Disz and E. Lusk and R. Overbeek and J. Patterson and R. Stevens ",
1316c1315
< 	Author="S. Taylor, S. Safra, and E. Shapiro",
---
> 	Author ="S. Taylor and S. Safra and E. Shapiro ",
1326c1325
< 	Author="M. Ratcliffe, J.C. Syre",
---
> 	Author ="M. Ratcliffe and J.C. Syre ",
1355c1354
< 	Author="N. Ichiyoshi, T. Miyazaki, K. Taki",
---
> 	Author ="N. Ichiyoshi and T. Miyazaki and K. Taki ",
1366c1365
< 	Author="M. Sato, et al.",
---
> 	Author ="M. Sato and et al. ",
1388c1387
< 	Author="P. Tinker, G. Lindstrom",
---
> 	Author ="P. Tinker and G. Lindstrom ",
1410c1409
< 	Author="T. Disz, E. Lusk, R. Overbeek",
---
> 	Author ="T. Disz and E. Lusk and R. Overbeek ",
1430c1429
<     
---
>  
1432c1431
< 	Author="Madhur Kohli, Mark E. Giuliano, and Jack Minker",
---
> 	Author ="Madhur Kohli and Mark E. Giuliano and Jack Minker ",
1443c1442
< 	Author="W. Bibel, K. Kurfess, J. Schumann, K. Aspetsberger, P. Hintenaus",
---
> 	Author ="W. Bibel and K. Kurfess and J. Schumann and K. Aspetsberger and P. Hintenaus ",
1480c1479
< 	Author="K. Shen, D.H.D. Warren",
---
> 	Author ="K. Shen and D.H.D. Warren ",
1535c1534
< 	Author="H. Westphal, P. Robert, J. Chassin, J.-C. Syre",
---
> 	Author ="H. Westphal and P. Robert and J. Chassin and J.-C. Syre ",
1568c1567
< 	Author="Y. Kimura, T. Chikayama",
---
> 	Author ="Y. Kimura and T. Chikayama ",
1591a1591
> 	School="Keio University, Japan",
1604c1604
< 	Author="Mark E. Giuliano, Madhur Kohli, Jack Minker, Deepak Sherlekar, Arcot Rajasekar",
---
> 	Author ="Mark E. Giuliano and Madhur Kohli and Jack Minker and Deepak Sherlekar and Arcot Rajasekar ",
1631c1631
< 	Author="Tebra, H.",
---
> 	Author ="Tebra and H. ",
1636c1636
< 	Editor="de Bakker, J.W., Nijman, A.J. and Treleaven, P.C.",
---
> 	Editor ="de Bakker and J.W. and Nijman and A.J. and Treleaven and P.C. ",
1640,1641c1640,1641
<         @Comment{
<         Keywords="stream-parallelism, and-parallelism, precedence, validation"}
---
>  @Comment{
>  Keywords="stream-parallelism, and-parallelism, precedence, validation"}
1644c1644
< 	Author="Janakiram, V.K., Agrawal, D.P. and Mehrota R.",
---
> 	Author ="Janakiram and V.K. and Agrawal and D.P. and Mehrota R. ",

alf@gatech.UUCP (Thomas Sjoeland) (03/22/89)

I made some changes to the bibliography which was sent out on the net in
comp.parallel earlier.
I altered errors like naming conventions using commas incorrectly
that caused problems with bibtex, and also took
out or altered references which were incorrect. Hopefully
someone can make the effort of updating your database and informing
those who need to be notified about such errors.

References that were removed on behalf of the author: 
    pdf0868 pdf0829

No new entries were added.

	Kindly /Thomas Sj\"{o}land, SICS

@InProceedings{pdf0011,
	Key="Rieger",
	Author="Chuck Rieger",
	Title="ZMOB: a new computing engine for AI",
	Pages="955-961",
	Year="1981",
	Month="August",
	BookTitle="IJCAI 7"}
	@comment{Keywords="architecture,zmob"}

@InProceedings{pdf0020,
	Key="Wise",
	Author="Michael J. Wise",
	Title="A parallel Prolog: the construction of a data driven model",
	Pages="56-66",
	Year="1982",
	Month="August",
	BookTitle="ACM Conf. on LISP and functional programming"}
	@comment{Keywords="parallel,prolog"}

@TechReport {pdf0031,
	Key="Rieger",
	Author="C. Rieger",
	Title="ZMOB: a new engine for ai",
	Year="1981",
	Month="August",
	Institution="University of Maryland",
	Type="Internal Report"}
	@comment{Keywords="zmob,architecture"}

@TechReport{pdf0032,
	Key="Bane",
	Author="John Bane",
	Title="ZMOB: a highly parallel multiprocessor",
	Address="College Park MD20742",
	Year="1980",
	Month="May",
	Institution="University of Maryland",
	Number="TR 911"}
	@comment{Keywords="zmob,architecture"}

@InProceedings{pdf0037,
	Key="Uchida",
	Author="Shunichi Uchida",
	Title="Inference machine: from sequential to parallel",
	Pages="410-416",
	Year="1983",
	Month="June",
	Editor="ACM",
	BookTitle="10th Symp. on Comp. Architecture"}
	@comment{Keywords="inference,machine,ICOT,fgcs"}

@InProceedings{pdf0039,
	Key="Umeyama and Tamura",
	Author="Shinji Umeyama and Koichiro Tamura",
	Title="A parallel execution model of logic programs",
	Pages="349-355",
	Year="1983",
	Month="June",
	Editor="ACM",
	BookTitle="10th Symp on Comp. Architecture"}
	@comment{Keywords="parallel,logic"}

@Article {pdf0047,
	Key="Goto",
	Author="Atsuhiro Goto",
	Title="Highly parallel inference machine PIE",
	Journal="New Generation Computing",
	Pages="20",
	Year="1983"}
	@comment{Keywords="parallel,inference,architecture"}

@Article {pdf0054,
	Key="Ciepielewski and Haridi",
	Author="Andrzej Ciepielewski, S. Haridi",
	Title="A formal model for or-parallel execution of logic programs",
	Journal="IFIP 83",
	Pages="299-305",
	Year="1983",
	Month="October",
	note="North Holland"}
	@comment{Keywords="parallel_or,inference,logic"}

@TechReport {pdf0057,
	Key="Onai",
	Author="Rikio Onai",
	Title="The proposal for a prolog machine based on reduction",
	Year="1982",
	Month="December",
	Institution="ICOT",
	Number="TM004"}
	@comment{Keywords="prolog,reduction,architecture"}

@TechReport {pdf0073,
	Key="Taylor",
	Author="Stephen Taylor",
	Title="Prolog on the DADO machine",
	Year="1984",
	Month="March",
	Institution="Columbia University",
	Type="Internal Report"}
	@comment{Keywords="logic,prolog,parallel"}

@InProceedings{pdf0076,
	Key="Taylor et al.",
	Author="S. Taylor, A. Lowry, G.Q. Maguire Jr., S.J. Stolfo",
	Title="Logic Programming using Parallel Associative Operations",
	Year="1984",
	Month="February",
	BookTitle="International Symposium on Logic Programming",
	City="Atlantic City",
	Pages="58-68"}
	@comment{Keywords="dado,unification,join,purge"}

@InProceedings{pdf0095,
	Key="Darlington",
	Author="J. Darlington",
	Title="Alice and the parallel evaluation of logic programs",
	Pages="21",
	Address="Imperial College London",
	Year="1983",
	Month="June",
	Editor="ACM",
	BookTitle="10th Symp. on Comp. Architecture"}
	@comment{Keywords="alice,logic,architecture,parlog"}

@TechReport {pdf0097,
	Key="Ito and Shimizu",
	Author="Noriyoshi Ito and Hajime Shimizu",
	Title="Execution mechanism for pure and concurrent prolog on a data flow based parallel inference engine",
	Year="1984",
	Month="August",
	Institution="Institute for New Generation Computer Technology, Oki Electric Co."}
	@comment{Keywords="data_flow,Prolog"}

@TechReport {pdf0100,
	Key="Shapiro",
	Author="Ehud Shapiro",
	Title="The Bagel: A systolic concurrent prolog machine",
	Address="Rehovot",
	Year="1983",
	Month="November",
	Institution="The Weizmann Institute of Science"}
	@comment{Keywords="Prolog,architecture,data_flow"}

@TechReport {pdf0101,
	Key="Bic",
	Author="Lubomir Bic",
	Title="A data driven model for parallel interpretation of logic programs",
	Address="Irvine",
	Year="1984",
	Month="January",
	Institution="University of California"}
	@comment{Keywords="languages"}

@TechReport {pdf0104,
	Key="Castan",
	Author="Michel Castan",
	Title="A distributed interpreting model for parallel execution of prolog programs",
	Address="Toulouse CEDEX",
	Year="1984",
	Month="January",
	Institution="Laboratoire 'Langages et Systemes Informatiques'"}
	@comment{Keywords="Prolog,unification"}

@TechReport {pdf0115,
	Key="Hirakawa",
	Author="Hideki Hirakawa",
	Title="Eager and lazy enumerations in concurrent prolog",
	Address="Tokyo",
	Year="1984",
	Month="August",
	Institution="Institute for New Generation Computer Technology, ICOT"}

@TechReport {pdf0134,
	Key="Clark and Gregory",
	Author="Keith L. Clark and Steve Gregory",
	Title="Parlog: A parallel logic programming language",
	Address="London",
	Year="1983",
	Month="May",
	Institution="Department of Computing, Imperial College"}
	@comment{Keywords="parlog,languages"}

@TechReport {pdf0135,
	Key="Broda and Gregory",
	Author="Krysia Broda and Steve Gregory",
	Title="Parlog for discrete event simulation",
	Address="London",
	Year="1983",
	Month="December",
	Institution="Department of Computing, Imperial College"}
	@comment{Keywords="simulation"}

@TechReport {pdf0143,
	Key="Lindstrom",
	Author="Gary Lindstrom",
	Title="Or-parallelism on applicative architectures",
	Type="Draft",
	Year="1984",
	Month="January",
	Institution="Laboratory for Computer Science MIT"}
	@comment{Keywords="unification,architecture"}

@TechReport {pdf0144,
	Key="Cleary",
	Author="John G. Cleary",
	Title="Implementation of concurrent prolog using message passing",
	Year="1984",
	Month="August",
	Institution="Department of Computer Science, University of Calgary"}
	@comment{Keywords="languages"}

@TechReport {pdf0145,
	Key="Ramanujam and Shyamasunder",
	Author="R. Ramanujam and R. K. Shyamasunder",
	Title="Implementation of logic programs as distributed processes",
	Address="Bombay",
	Year="1984",
	Month="August",
	Institution="National Centre for Software Development and Computing Techniques"}
	@comment{Keywords="logic-programming"}

@TechReport {pdf0147,
	Key="Eisinger",
	Author="Norbert Eisinger",
	Title="Logic programming: A parallel approach",
	Address="Maryland",
	Year="1981",
	Month="December",
	Institution="University of Maryland",
	Number="TR-1124"}
	@comment{Keywords="ZMOB,architecture"}

@TechReport {pdf0148,
	Key="Onai",
	Author="Rikio Onai",
	Title="An approach to a parallel inference machine based .......",
	Address="Tokyo",
	Year="1984",
	Month="August",
	Institution="Institute for New Generation Computer Technology ICOT"}
	@comment{Keywords="architecture,prolog,data-flow,PIM-F"}

@TechReport {pdf0149,
	Key="Nakamura",
	Author="Katsuhiko Nakamura",
	Title="Associative concurrent evaluation of logic programs",
	Address="Tokyo",
	Year="1984",
	Month="August",
	Institution="School of Science and Engineering Tokyo Denki University"}
	@comment{Keywords="garbage-collection,architecture"}

@InProceedings{pdf0151,
	Key="Crammond and Miller",
	Author="J. A. Crammond and C. D. F. Miller",
	Title="An architecture for parallel logic languages",
	Pages="183-195",
	Address="Uppsala, Sweden",
	Year="1984",
	Month="August",
	BookTitle="2nd Int. Logic Programming Conf."}
	@comment{Keywords="parlog,language,unification"}

@InProceedings{pdf0174,
	Key="Smith",
	Author="Bruce Smith",
	Title="Logic programming on an FFP machine",
	Pages="11",
	Year="1984",
	Month="February",
	BookTitle="84 Symp on logic programming"}
	@comment{Keywords="fp,ffp,reduction,functional"}

@InProceedings{pdf0181,
	Key="Ito",
	Author="Noriyoshi Ito",
	Title="Parallel inference machine based on the data flow model",
	Pages="30",
	Year="1984",
	Month="May",
	Editor="ICOT",
	BookTitle="84 workshop on HLCA"}
	@comment{Keywords="pim,logic,architecture"}

@InProceedings{pdf0194,
	Key="Diel",
	Author="H. Diel",
	Title="A computer architecture supporting and/or parallelism",
	Pages="14",
	Year="1984",
	Month="October",
	BookTitle="draft proc. afcet85",
	Note="IBM Germany"}
	@comment{Keywords="parallel programming, logic programming, AND-parallelism, OR-parallelism",
	remark="general overview of parallelism, application to special data base machine"}

@InProceedings{pdf0196,
	Key="Ito and Masuda",
	Author="Noriyoshi Ito and Kanae Masuda",
	Title="Parallel inference machine based on the dataflow model",
	Pages="10",
	Address="LA",
	Year="1984",
	Month="May",
	BookTitle="Intl Workshop on High level Computer Architecture 84"}
	@comment{Keywords="pim,fgcs,ICOT, data flow,architecture"}

@InProceedings{pdf0197,
	Key="Chu and Itano",
	Author="Y. Chu and K. Itano",
	Title="Organization of a parallel prolog machine",
	Pages="13",
	Address="LA",
	Year="1984",
	Month="May",
	BookTitle="Intl workshop on HLCA 84"}
	@comment{Keywords="architecture,parallelism"}

@InProceedings{pdf0198,
	Key="Halim and Watson",
	Author="Z. Halim and I. Watson",
	Title="An or parallel data driven model for logic programs",
	Pages="11",
	Address="LA",
	Year="1984",
	Month="May",
	BookTitle="Intl workshop on HLCA 84"}
	@comment{Keywords="data flow, architecture"}

@InProceedings{pdf0199,
	Key="Ciepielewski and Haridi",
	Author="A. Ciepielewski and S. Haridi",
	Title="Control of activities in the or-parallel token machine",
	Pages="49-57",
	Year="1984",
	Month="February",
	BookTitle="84 IEEE logic programming conf"}
	@comment{Keywords="or parallel, pruning"}

@InProceedings{pdf0200,
	Key="Lindstrom and Panangaden",
	Author="G. Lindstrom and P. Panangaden",
	Title="Stream-based execution of logic programs",
	Pages="168-175",
	Year="1984",
	Month="February",
	BookTitle="84 IEEE intl symp on logic programming"}
	@comment{Keywords="parallelism,substitution"}

@Article {pdf0211,
	Key="Yasuhara and Nitadori",
	Author="Hiroshi Yasuhara and Kazuhiko Nitadori",
	Title="ORBIT: A Parallel Computing Model of Prolog",
	Journal="New Generation Computing",
	Pages="277 - 288",
	Year="1984",
	Month="July",
	volume="2",
	note="OHMSHA and Springer-Verlag, Tokyo"}
	@comment{Keywords="architecture, multi processor, or-parallelism"}

@InProceedings{pdf0223,
	Key="Haridi and Ciepielewski",
	Author="Seif Haridi and Andrzej Ciepielewski",
	Title="An Or-parallel Token Machine",
	Pages="536 - 552",
	Address="Stockholm Sweden",
	Year="1983",
	Month="June",
	Editor="Nucleo de Inteligencia Artificial, Universidade Nova de Lisboa",
	BookTitle="Proc. 1983 Logic Programming Workshop"}
	@comment{Keywords="architecture"}

@InProceedings{pdf0229,
	Key="Pereira and Nasr",
	Author="Luis Moniz Pereira and Roger Nasr",
	Title="Delta-Prolog: a distributed logic programming language",
	Pages="283-291",
	Year="1984",
	Month="November",
	BookTitle="Proc. Int. Conf. on Fifth Gen. Comp. Sys., ICOT84"}
	@comment{Keywords="parallel,concurrent,synchro,event"}

@InProceedings{pdf0231,
	Key="Ueda and Shikayama",
	Author="Kasunori Ueda and Takashi Shikayama",
	Title="Efficient stream/array processing in logic programming languages",
	Pages="317-326",
	Year="1984",
	Month="November",
	BookTitle="ICOT Conf. 84"}
	@comment{Keywords="stream, and,or,concurrent"}

@InProceedings{pdf0238,
	Key="Hasegawa and Amamiya",
	Author="Ryozu Hasegawa and Makoto Amamiya",
	Title="Parallel execution of logic programs based on Dataflow Concept",
	Pages="507-516",
	Year="1984",
	Month="November",
	BookTitle="ICOT Conf. 84"}
	@comment{Keywords="DFM,parallel,or,and,lazy,eager"}

@TechReport {pdf0251,
	Key="Ueda and Chikayama",
	Author="Kazunori Ueda, Takashi Chikayama",
	Title="Efficient Stream/Array Processing in Logic Programming Language",
	Year="1984",
	Month="April",
	Institution="ICOT",
	Number="TR-065"}

@TechReport {pdf0253,
	Key="Furukawa et al.",
	Author="Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji",
	Title="Mandala: A Concurrent Prolog Based Knowledge Programming Language/System",
	Year="1983",
	Month="November",
	Institution="ICOT",
	Number="TR-029"}

@InProceedings{pdf0266,
	Key="DeGroot",
	Author="Doug DeGroot",
	Title="Restricted And-parallelism",
	Pages="471-478",
	Year="1984",
	Month="November",
	Editor="ICOT",
	BookTitle="Proc. of FGCS84"}
	@comment{Keywords="logic prolog"}

@Article {pdf0267,
	Key="Goto et al.",
	Author="A. Goto, H. Tanaka, T Moto-Oka",
	Title="Highly parallel inference engine PIE: goal-rewriting model...",
	Journal="New generation Computing",
	Pages="37-58",
	Year="1984",
	Month="March",
	volume="2",
	note="OHMSHA"}
	@comment{Keywords="prolog,or,and,pipeline,unification,simulation"}

@InProceedings{pdf0268,
	Key="Moto-Oka et al.",
	Author="T. Moto-Oka, H. Tanaka, H. Aida, K. Hirata, T. Maruyama",
	Title="The architecture of a parallel inference engine - PIE -",
	Pages="479-488",
	Year="1984",
	Month="November",
	Editor="ICOT",
	BookTitle="Proc. FGCS 84"}
	@comment{Keywords="prolog,or,and,pipeline,unification,simulation"}

@TechReport {pdf0269,
	Key="Ito et al.",
	Author="Noriyoshi Ito, K. Masuda, H. Shimizu",
	Title="Parallel prolog machine based on the data flow model",
	Year="1983",
	Month="August",
	Number="TR-035",
	Institution="ICOT"}
	@comment{Keywords="and,or"}

@InProceedings{pdf0272,
	Key="Borgwardt",
	Author="Peter Borgwardt",
	Title="Parallel prolog using stack segments on shared memory multiprocessors",
	Pages="2-11",
	Year="1984",
	Month="February",
	Editor="IEEE",
	BookTitle="84 Int. Symposium on Logic Programming"}
	@comment{Keywords="annotations, architecture, modes,stream"}

@InProceedings{pdf0273,
	Key="Kacsuk",
	Author="Peter Kacsuk",
	Title="A highly parallel prolog based on the generalised DF model",
	Pages="195-205",
	Address="Uppsala, Sweden",
	Year="1984",
	Month="July",
	BookTitle="2nd Int. Logic Programming Conference"}
	@comment{Keywords="or, and, tree"}

@InProceedings{pdf0274,
	Key="Murakami et al.",
	Author="K. Murakami, T. Kakuta, R. Onai",
	Title="Architectures and hardware systems: PIM and KB machine",
	Pages="18-36",
	Year="1984",
	Month="November",
	Editor="ICOT",
	BookTitle="Proc. FGCS 84"}
	@comment{Keywords="overview, parallel, prolog, architecture"}

@TechReport {pdf0276,
	Key="Clark and Gregory",
	Author="K. Clark, S. Gregory",
	Title="Parlog: parallel programming in logic",
	Year="1984",
	Month="April",
	Institution="Imperial College London",
	Number="DOC 84/4"}
	@comment{Keywords="parallelism, or, and, stream, synchro"}

@TechReport {pdf0277,
	Key="Kasif and Minker",
	Author="S. Kasif, J. Minker",
	Title="The intelligent channel: a scheme for result sharing in parallel logic programs",
	Year="1985",
	Month="January",
	Institution="U. of Maryland",
	Type="Internal Report"}
	@comment{Keywords="parallelism, or, and, prism"}

@InProceedings{pdf0278,
	Key="Conery and Kibler",
	Author="J. S. Conery, D.F. Kibler",
	Title="Parallel interpretation of logic programs",
	Pages="163-170",
	Year="1981",
	Month="October",
	Editor="ACM",
	BookTitle="Proc. conf. on functional programming languages and computer architecture"}
	@comment{Keywords="or, and, parallelism"}

@TechReport{pdf0306,
	Key="Ito and Masuda",
	Author="Noriyoshi Ito and Kanae Masuda",
	Title="Parallel Inference Machine Based on the Data Flow Model",
	Institution="ICOT",
	Number="TR-033",
	Month="December",
	Year="1983"}

@InProceedings{pdf0319,
	Key="Kahn",
	Author="Kenneth M. Kahn",
	Title="A Primitive for the Control of Logic Programs",
	Organization="UPMAIL, Uppsala",
	BookTitle="1984 Int. Symp. on Logic Programming",
	Editor="IEEE",
	Pages="242-251",
	Month="February",
	Year="1984"}
	@comment{keywords="or-parallelism, control predicate, all solutions"}

@PhDThesis{pdf0322,
	Key="Pollard",
	Author="George H. Pollard",
	Title="Parallel Execution of Horn Clause Programs",
	School="University of London, Imperial College",
	Year="1981",
	Note="published by British Telecommunications"}

@Article{pdf0330,
	Key="DeGroot and Chang",
	Author="D. DeGroot, J.H. Chang",
	Title="A comparison of two AND-parallel execution models",
	Journal="Congres AFCET Informatique",
	Month="March",
	Year="1985",
	Note="in english"}

@PhDThesis{pdf0341,
	Key="Ciepielewski",
	Author="Andrzej Ciepielewski",
	Title="Towards a Computer Architecture for Or-Parallel Execution of Logic Programs",
	School="Royal Institute of Technology, Stockholm",
	Month="May",
	Year="1984"}
	@comment{keywords="or-parallelism, and-parallelism, storage structures, multiprocessor, control flow, distributed abortion mechanism",
	in Klaus Estenfeld's library}

@Article{pdf0354,
	Key="Conery and Kibler",
	Author="J.S. Conery, D.F. Kibler",
	Title="AND Parallelism and Nondeterminism in Logic Programs",
	Journal="New Generation Computing",
	Number="3",
	Pages="43-70",
	Year="1985"}
	@comment{keywords="nondeterminism, process model, and parallelism, or
parallelism, intelligent backtracking"}

@Article{pdf0355,
	Key="Ito et al.",
	Author="N. Ito, H. Shimizu, M. Kishi, E. Kuno, K. Rokusawa",
	Title="Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog",
	Journal="New Generation Computing",
	Number="3",
	Pages="15-41",
	Year="1985"}
	@comment{keywords="parallel processing, data flow model, logic programming
language, unification, nondeterminism"}

@TechReport{pdf0400,
	Key="Syre and Westphal",
	Author="Jean Claude Syre and Harald Westphal",
	Title="A Review of Parallel Models for Prolog",
	Institution="ECRC",
	Number="CA-07",
	Month="June",
	Year="1985"}

@TechReport{pdf0415,
	Key="Cunha and Aparicio",
	Author="J.C. Cunha and J.N. Aparicio",
	Title="Delta-Prolog Implementation - Progress Report No. 1",
	Institution="Universidade Nova de Lisboa",
	Number="UNL-6/84",
	Type="Progress Report",
	Month="December",
	Year="84"}

@Article{pdf0420,
	Key="Bibel and Buchberger",
	Author="W. Bibel and B. Buchberger",
	Title="Toward a Connection Machine for Logical Inference",
	Journal="Future Generations Computer Systems",
	Volume="1",
	Number="3",
	Pages="177 - 188",
	Month="February",
	Year="1985"}

@Article{pdf0422,
	Key="Murakami et al.",
	Author="K. Murakami, T. Kakuta, R. Onai and N. Ito",
	Title="Research on Parallel Machine Architecture for Fifth-Generation Computer Systems",
	Journal="Computer",
	Pages="76 - 92",
	Month="June",
	Year="1985"}
	@comment{Keyword="ICOT,Delta,PIM-R,PIM-D"}

@Article{pdf0435,
	Key="Onai et al.",
	Author="R. Onai, M. Aso, H. Shimizu, K. Masuda, A. Matsumoto",
	Title="Architecture of a Reduction-Based parallel Inference Machine: PIM-R",
	Journal="New Generation Computing",
	Volume="3",
	Number="2",
	Pages="197-228",
	Year="1985"}
	@comment{keywords="parallel inference machine, reduction, prolog, concurrent prolog, or-parallel, and-parallel"}

@InProceedings{pdf0438,
	Key="Sohma et al.",
	Author="Yukio Sohma, Ken Satoh, Koichi Kumon, Hideo Masuzawa, Akihiro Itashiki",
	Title="A New Parallel Inference Mechanism Based on Sequential Processing",
	BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
	Editor="UMIST",
	Address="Manchester",
	Month="July 15-18",
	Year="1985"}
	@comment{keywords="OR-parallelism, KABU WAKE method,PIM",
	Organization="Fujitsu",}

@InProceedings{pdf0439,
	Key="Diel",
	Author="H. Diel",
	Title="Types of Parallelism in Machine Architectures Supporting Logic Programming",
	BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
	Editor="UMIST",
	Address="Manchester",
	Month="July 15-18",
	Year="1985"}
	@comment{Organization="IBM Boeblingen, Germany",}

@InProceedings{pdf0443,
	Key="Shibayama et al.",
	Author="Shigeki Shibayama, Kazuhide Iwata, Hiroshi Sakai",
	Title="A Knowledge Base Architecture and its Experimental Hardware",
	BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
	Editor="UMIST",
	Address="Manchester",
	Month="July 15-18",
	Year="1985"}
	@comment{Organization="Toshiba, Japan",}

@InProceedings{pdf0444,
	Key="Giloi and Beer",
	Author="Wolfgang Giloi, Joachim Beer",
	Title="The German Parallel Prolog Machine Development",
	BookTitle="IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture",
	Editor="UMIST",
	Address="Manchester",
	Month="July 15-18",
	Year="1985",
	Note="{abstract}"}
	@comment{Organization="GMD-FIRST, TU Berlin",}

@InProceedings{pdf0460,
	Key="Naish",
	Author="L. Naish",
	Title="All solutions predicates in Prolog",
	BookTitle="1985 Symposium on Logic programming",
	Editor="IEEE",
	Pages="73-77",
	Month="July",
	Year="1985"}

@InProceedings{pdf0461,
	Key="Dembinski",
	Author="P. Dembinski",
	Title="AND-parallelism with intelligent backtracking for annotated logic programs",
	BookTitle="1985 Symposium on Logic Programming",
	Editor="IEEE",
	Pages="29-38",
	Month="July",
	Year="1985"}

@InProceedings{pdf0462,
	Key="Lee and Goebel",
	Author="R. Lee, R. Goebel",
	Title="Concurrent Prolog in a multi process environment",
	BookTitle="1985 Symposium on Logic programming",
	Editor="IEEE",
	Pages="100-109",
	Month="July",
	Year="1985"}

@InProceedings{pdf0463,
	Key="Miyazaki et al.",
	Author="T. Miyazaki, A. Takeuchi, T. Chikayama",
	Title="A sequential implementation of Concurrent Prolog based on the shallow binding scheme",
	BookTitle="1985 Symposium on Logic Programming",
	Editor="IEEE",
	Pages="110-126",
	Month="July",
	Year="1985"}

@InProceedings{pdf0464,
	Key="Chang and Despain",
	Author="J.H. Chang, A.M. Despain",
	Title="Semi intelligent backtracking of Prolog based on static data dependency analysis",
	BookTitle="1985 Symposium on Logic Programming",
	Editor="IEEE",
	Pages="10-21",
	Month="July",
	Year="1985",
	Note="aquarius, PLM1, plm, berkeley"}

@TechReport{pdf0469,
	Key="Ueda",
	Author="Kazunori Ueda",
	Title="Guarded Horn Clauses",
	Institution="ICOT",
	Number="TR-103",
	Month="June",
	Year="1985"}

@TechReport {pdf0474,
	Key="Keller et al.",
	Author="R.M. Keller, G. Lindstrom, S. Patil",
	Title="An Architecture for a Loosely-coupled Parallel Processor",
	Institution="University of Utah",
	Number="UUCS-78-105",
	Month="October",
	Year="1978"}
	@comment{Keywords="applicative progra parallelelism, reduction machine, tagged architecture"}

@InProceedings{pdf0495,
	Key="Crammond",
	Author="J. Crammond",
	Title="A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages",
	Organization="IEEE",
	BookTitle="Int. Conf. on Parallel Processing",
	Editor="D. DeGroot",
	Address="St. Charles, Ill.",
	Pages="131-138",
	Month="August",
	Year="1985"}

@TechReport{pdf0508,
	Key="Syre",
	Author="Jean-Claude Syre",
	Title="A review of computer architectures for functional and logic programming systems",
	Institution="ECRC",
	Number="CA-09",
	Type="Technical Report",
	Month="July",
	Year="1985"}

@TechReport{pdf0515,
	Key="Lee",
	Author="R. K. Lee",
	Title="Concurrent Prolog in a multi-process environment",
	Institution="Faculty of Mathematics University of Waterloo, Ontario, Canada",
	Number="CS-84-46",
	Month="November",
	Year="1984"}

@Manual{pdf0532,
	Key="Shapiro et al.",
	Author="E. Shapiro, W. Silverman, A. Houri, M. Hirsch",
	Title="Logix, User Manual for Release 1.1",
	Organization="Weizmann Institute of Science",
	Year="1985"}

@InProceedings{pdf0636,
	Key="Yamaguchi et al.",
	Author="T. Yamaguchi, Y. Tezuka, O. Kakusho",
	Title="Parallel Processing of Resolution",
	BookTitle="IJCAI85",
	Pages="1178-1180",
	Month="August",
	Year="1985"}

@TechReport{pdf0657,
	Key="Hailperin and Westphal",
	Author="Max Hailperin and Harald Westphal",
	Title="A Computational Model for PEPSy",
	Institution="ECRC",
	Number="CA-16",
	Year="1986"}

@TechReport{pdf0659,
	Key="Ratcliffe and Robert",
	Author="M. J. Ratcliffe and P. Robert",
	Title="PEPSy: A Prolog for Parallel Processing",
	Institution="ECRC",
	Number="CA-17",
	Month="March",
	Year="1986"}

@Article{pdf0660,
	Key="Clark and Gregory",
	Author="K. Clark and S. Gregory",
	Title="PARLOG: Parallel Programming in Logic",
	Journal="acm Transactions on Programming Languages and Systems",
	Volume="8",
	Number="1",
	Pages="1-49",
	Month="January",
	Year="1986"}

@Article{pdf0668,
	Key="Halim",
	Author="Z. Halim",
	Title="A Data-Driven machine for OR-Parallel Evaluation of Logic Programs",
	Journal="New Generation Computing",
	Volume="4",
	Number="1",
	Pages="5-33",
	Year="1986"}

@Article{pdf0683,
	Key="Tanaka",
	Author="Hidehiko Tanaka",
	Title="A Parallel Inference Machine",
	Journal="IEEE Computer",
	Volume="19",
	Number="5",
	Pages="48,54",
	Month="may",
	Year="1986"}

@Article{pdf0686,
	Key="Sterling and Codish",
	Author="Leon Sterling and Mike Codish",
	Title="Pressing For Parallelism: A Prolog Program made Concurrent",
	Journal="The Journal of Logic Programming",
	Volume="3",
	Number="1",
	Pages="75 - 92",
	Year="1986"}

@InProceedings{pdf0691,
	Key="Citrin",
	Author="Wayne Citrin",
	Title="Extracting Parallelism from Sequential Prolog: Experiences with the Berkeley PLM",
	Organization="University of California, Berkeley",
	BookTitle="BBC Workshop on Knowledge Based Systems in Industry",
	Month="June",
	Year="1986"}

@Article{pdf0707,
	Key="Onai et al.",
	Author="Rikio Onai, Hajime Shimizu, Kanae Masuda and Moritoshi Aso",
	Title="Analysis of Sequential Prolog Programs",
	Journal="Journal of Logic Programming",
	Volume="3",
	Number="2",
	Pages="119 - 141",
	Month="july",
	Year="1986"}

@TechReport{pdf0708,
	Key="Wilk",
	Author="P.F. Wilk",
	Title="Prolog Benchmarking",
	Institution="Artificial Intelligence Applications Institute",
	Number="AIAI - TR - 14",
	Month="Jan.",
	Year="1986"}

@Misc{pdf0716,
	Key="Clocksin and Alshawi",
	Author="W.F. Clocksin and H. Alshawi",
	Title="A Method for Efficiently Executing Horn Clause Programs Using
Multiple Processors",
	Institution="Computer Laboratory, University of Cambridge",
	Type="Draft, submitted for publication",
	Month="May",
	Year="1986"}

@Misc{pdf0717,
	Key="Ali et al.",
	Author="K. M. Ali, L. Fahl\'{e}n, R. Karlsson",
	Institution="SICS",
	Title="BC-Machine: A Multiprocessor for Fast OR-Parallel Execution of Logic Programs",
	Year="1986"}

@PhDThesis{pdf0724,
	Key="Ueda",
	Author="Kazunori Ueda",
	Title="Guarded Horn Clauses",
	School="University of Tokyo",
	Month="March",
	Year="1986"}

@TechReport{pdf0726,
	Key="Sugie et al.",
	Author="Mamoru Sugie, et al.",
	Title="The Kernel Benchmarks for the Parallel Inference Machine {PIM}",
	Institution="Hitachi Central Research Laboratory",
	Month="August",
	Year="1986"}

@InProceedings{pdf0728,
	Key="Hermenegildo and Nasr",
	Author="M. de Hermenegildo and R.I. Nasr",
	Title="Efficient management of backtracking in AND-parallelism",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="40-54",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@InProceedings{pdf0729,
	Key="Lin et al.",
	Author="Y.-J. Lin, V. Kumar, and C. Leung",
	Title="An intelligent backtracking algorithm for parallel execution of logic programs",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="55-68",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@InProceedings{pdf0730,
	Key="Pereira et al.",
	Author="L.M. Pereira, L. Monteiro, J. Cunha, and J.N. Aparicio",
	Title="Delta Prolog: a distributed backtracking extension with events",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="69-83",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@InProceedings{pdf0731,
	Key="Yang and Aiso",
	Author="R. Yang and H. Aiso",
	Title="P-Prolog: a parallel logic language based on exclusive relation",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="255-269",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@InProceedings{pdf0733,
	Key="Codish and Shapiro",
	Author="M. Codish and E. Shapiro",
	Title="Compiling OR-parallelism into AND-parallelism",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="283-297",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@InProceedings{pdf0734,
	Key="Levy",
	Author="J. Levy",
	Title="Shared memory execution of committed-choice languages",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="298-312",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@InProceedings{pdf0735,
	Key="Butler et al.",
	Author="R. Butler, E. Lusk, W. McCune, and R. Overbeek",
	Title="Parallel logic programming for numeric applications",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="375-388",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@Misc{pdf0740,
	Key="Khabaza",
	Author="Tom Khabaza",
	Title="Reconciliation for AND/OR-parallelism",
	HowPublished="Handout at Megalips@+[+] workshop, Manchester",
	Month="July",
	Year="1986"}

@InProceedings{pdf0741,
	Key="Kumon et al.",
	Author="K. Kumon, H. Masuzawa, A. Itashiki",
	Title="Kabu-Wake: A new parallel inference method and its evaluation",
	BookTitle="Proc. IEEE COMPCON 86",
	Address="San Francisco",
	Pages="168-172",
	Month="March",
	Year="1986"}

@TechReport{pdf0785,
	Key="Shapiro",
	Author="E. Shapiro",
	Title="Concurrent Prolog: a Progress report",
	Institution="Weizmann Institute",
	Number="CS-86-10",
	Type="internal report",
	Month="April ",
	Year="1986"}

@InProceedings{pdf0808,
	Key="Borgwardt and Rea",
	Author="P. Borgwardt, D. Rea",
	Title="Distributed Semi-Intelligent backtracking for a Stack-based AND-parallel Prolog",
	BookTitle="Proc. 1986 Symposium on Logic Programming",
	Address="Salt Lake City, Utah",
	Pages="211-222",
	Month="September",
	Year="1986"}

@InProceedings{pdf0809,
	Key="Li and Martin",
	Author="P.P. Li and A.J. Martin",
	Title="The Sync Model: A Parallel Execution Method for Logic Programming",
	BookTitle="Proc. 1986 Symposium on Logic Programming",
	Address="Salt Lake City, Utah",
	Pages="223-234",
	Month="September",
	Year="1986"}

@InProceedings{pdf0810,
	Key="Ciepielewski and Hausman",
	Author="A. Ciepielewski and B. Hausman",
	Title="Performance Evaluation of a Storage Model for OR-parallel Execution of Logic Programs",
	BookTitle="Proc. 1986 Symposium on Logic Programming",
	Address="Salt Lake City, Utah",
	Pages="246-257",
	Month="September",
	Year="1986"}

@Unpublished{pdf0816,
	Key="Beer and Giloi",
	Author="J. Beer and W.K. Giloi",
	Title="POPE - a Parallel-Operating Prolog Engine",
	Year="86",
	Note="to be published in New Generation Computing"}

@InProceedings{pdf0821,
	Key="Masuzawa et al.",
	Author="H. Masuzawa, et al.",
	Title="Kabu Wake parallel inference mechanism and its evaluation",
	Organization="IEEE",
	BookTitle="1986 FJCC",
	Pages="955-962",
	Month="November",
	Year="1986"}
	@comment{Note="or parallel performance queens"}

@Unpublished{pdf0824,
	Key="Carlsson et al.",
	Year="1987",
	Author="M. Carlsson, E. L. Lusk, R. Overbeek, D.H.D. Warren",
	Title="Maintaining Multiple Binding Environments to Support OR-Parallelism"}

@PhDThesis{pdf0826,
	Key="Hermenegildo",
	Author="Manuel V. Hermenegildo",
	Title="An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel",
	School="Dept. of Computer Sciences, The University of Texas at Austin",
	Month="August",
	Year="1986",
	Note="TR-86-20"}

@InProceedings{pdf0828,
	Key="Taki",
	Author="Kazuo Taki",
	Title="The Parallel Software Research and Development Tool: Multi-PSI System",
	Organization="ICOT",
	BookTitle="France-Japan Artificial Intelligence and Computer Science Symposium",
	Pages="365-381",
	Year="1986"}

@InProceedings{pdf0831,
	Key="Hirata et al.",
	Author="Keiji Hirata, Tsutomu Maruyama, Hidehiko Tanaka",
	Title="Ground-Instance Sharing for Parallel Inference Machines",
	Organization="University of Tokyo",
	BookTitle="Fourth ICLP",
	Address="Melbourne",
	Year="1987",
	Note="{submitted}"}

@TechReport{pdf0845,
	Key="deKergommeaux et al.",
	Author="J. Chassin de Kergommeaux, P. Robert, H. Westphal",
	Title="An Abstract Machine for the Implementation of the PEPSys Model",
	Institution="ECRC",
	Number="CA-26",
	Type="Technical report",
	Month="February",
	Year="1987"}
	@comment{"NOT in the data base"}

@TechReport{pdf0848,
	Key="Levy",
	Author="Jacob Levy",
	Title="A GHC Abstract Machine and Instruction Set",
	Institution="Weizmann Institute of Science",
	Number="CS-85-11",
	Type="Internal Report",
	Month="December",
	Year="1985"}

@InProceedings{pdf0849,
	Author="M. Kharoune, A. Aggoune",
	Key="Kharoune and Aggoune",
	Title="Deux Approches du Parallelisme ET en Prolog.",
	Organization="CNET Lannion",
	Address="Tregastel",
	BookTitle="Seminaire de Programmation en Logique",
	Pages="586-607",
	Year="1986"}

@InProceedings{pdf0851,
	Author="D. H. D. Warren",
	Key="Warren",
	Title="Or-parallel Execution Models of Prolog",
	Organization="DCS, University of Manchester",
	BookTitle="TAPSOFT 87, Joint Conference on Theory and Practice of Software Development",
	Address="Pisa",
	Month="March",
	Year="1987",
	Note="invited paper"}

@Article{pdf0852,
	Author="K. M. Ali",
	Key="Ali",
	Title="OR-Parallel Execution of Prolog on a Multi-Sequential Machine",
	Journal="IJPP"
	Year="1987",
	Volume="15",
	Number="5",
	Pages="339-387",
	Month="Oct",
	Note="Part of the BC-machine project, SICS, Sweden"}

@InProceedings{pdf0853,
	Author="K. M. Ali",
	Key="Ali",
	Title="A Method for Implementing Cut in Parallel Execution of Prolog",
	BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
	Year="1987"}

@TechReport{pdf0854,
	Author="Rong Yang and Hideo Aiso",
	Key="Yang and Aiso",
	Title="Memory Management for Multiple Environments - Implementation of P-Prolog {1}",
	Institution="Keio University",
	Type="conference submission",
	Month="January",
	Year="1987"}

@InProceedings{pdf0855,
	Author="Ross Overbeek",
	Key="Overbeek",
	Title="ANL-WAM Synchronization Issues: An Overview",
	BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
	Year="1987"}

@InProceedings{pdf0856,
	Author="Bogumil Hausman and Seif Haridi and Andrzej Ciepielewski",
	Key="Hausman et al.",
	Title="Parallel Prolog Made Efficient, Versions Vector WAM",
	BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
	Year="1987"}

@InProceedings{pdf0857,
	Author="D.H.D. Warren",
	Key="Warren",
	Title="Parallel Execution of logic Programs",
	BookTitle="ECRC Workshop on Parallel Logic Programming Systems",
	Year="1987",
	Note="Slides"}

@PhDThesis{pdf0858,
	Author="Kish Shen",
	Key="Shen",
	Title="An Investigation of the Argonne Model of OR-Parallel Prolog",
	School="University of Manchester",
	Month="November",
	Year="1986"}

@Book{pdf0859,
	Author="J. Boyle, R. Butler, B. Glickfeld, T. Disz, E. Lusk, R. Overbeek, J. Patterson, R. Stevens",
	Key="Boyle et al.",
	Title="Portable Programs for Parallel Processors",
	Publisher="to be published",
	Year="1987"}

@TechReport{pdf0865,
	Author="Kish Shen",
	Key="Shen",
	Title="An Investigation of the Argonne Model of OR-Parallel Prolog",
	Institution="Dept of Comp. Science U. of Manchester",
	Number="UMCS-87-1-1",
	Type="Technical report",
	Month="February",
	Year="1987"}

@TechReport{pdf0869,
	Author="Wen-Kai Chung and William B. Day",
	Key="Chung and Day",
	Title="A Study of Control Constructs in Parallel Logic Languages",
	Institution="Auburn University, Alabama",
	Type="submitted to SLP '87",
	Month="March",
	Year="1987"}

@Unpublished{pdf0871,
	Author="Sun Chenzheng and Tzu Yungui",
	Key="Chenzheng and Yungui",
	Title="The sharing of environments in AND/OR parallel execution of logic programs",
	Year="1987",
	Note="submitted to SLP87"}

@Unpublished{pdf0872,
	Author="L.V. Kale",
	Key="Kale",
	Title="Completeness and full parallelism of parallel logic programming schemes",
	Year="1987",
	Note="U Illinois, submitted to SLP87"}

@Unpublished{pdf0873,
	Author="John S. Conery",
	Key="Conery",
	Title="Binding environments for parallel LP in non shared memory systems",
	Year="1987",
	Note="U. of Oregon submitted to SLP87"}

@TechReport{pdf0879,
	Author="Jacques Chassin de Kergommeaux and Donald Peterson",
	Key="Kergommeaux and Peterson",
	Title="A Compilation System for PEPSys",
	Institution="ECRC",
	Number="16",
	Type="Internal Report PEPSy",
	Month="April",
	Year="1987"}

@TechReport{pdf0880,
	Author="Philippe Robert",
	Key="Robert",
	Title="An Emulator for the PEPSys Abstract Machine",
	Institution="ECRC",
	Type="Internal Report PEPSy",
	Number="17",
	Month="April",
	Year="1987",
	Note="Only a draft"}

@InProceedings{pdf0881,
	Author="Akikazu Takeuchi and Koichi Furukawa",
	Key="Takeuchi and Furukawa",
	Title="Parallel Logic Programming Languages",
	BookTitle="Third International Conference on Logic Programming",
	Editor="Ehud Shapiro",
	Address="London",
	Pages="242-254",
	Month="July",
	Year="1986"}
	@comment{in the proceedings volume}

@TechReport{pdf0897,
	Author="S. Taylor, S. Safra, and E. Shapiro",
	Key="Taylor et al.",
	Title="A Parallel Implementation of Flat Concurrent Prolog",
	Institution="Weizmann Institute of Science",
	Number="CS87-04",
	Type="Internal",
	Month="October",
	Year="1986"}

@InProceedings{pdf0899,
	Author="M. Ratcliffe, J.C. Syre",
	Key ="Ratcliffe and Syre",
Title="The PEPSys Parallel Logic Programming Language",
	Organization="ECRC",
	BookTitle="IJCAI",
	City="Milano, Italy",
	Month="August",
	Year="1987"}

@InProceedings{pdf0900,
	Author="B. Hausman and A. Ciepielewski and S. Haridi",
	Key ="Hausman et al.",
	Title="Or-parallel Prolog Made Efficient on Shared Memory Multiprocessors",
	Organization="SICS",
	BookTitle="Symposium on Logic Programming",
	City="San Francisco",
	Editor="IEEE",
	Month="August",
	Year="1987"}

@TechReport{pdf0908,
	Author="Melissa Lam and Steve Gregory",
	Key="Lam and Gregory",
	Title="PARLOG and ALICE: a Marriage of Convenience",
	Institution="Imperial College London",
	Month="March",
	Year="1987"}

@InProceedings{pdf0914,
	Author="N. Ichiyoshi, T. Miyazaki, K. Taki",
	Key="Ichiyoshi et al.",
	Title="A distributed implementation of Flat GHC on the Multi-PSI",
	Organization="The International Conference on Logic Programming",
	BookTitle="Proceedings, Melbourne, Australia",
	Pages="257-274",
	Month="May",
	Year="1987",
	Note=""}

@InProceedings{pdf0916,
	Author="M. Sato, et al.",
	Key="Sato et al.",
	Title="KL1 Execution model for PIM Cluster with Shared Memory",
	Organization="The International Conference on Logic Programming",
	BookTitle="Proceedings, Melbourne, Australia",
	Pages="339-355",
	Month="May",
	Year="1987",
	Note=""}

@InProceedings{pdf0919,
	Author="M. Hermenegildo",
	Key="Hermenegildo",
	Title="Relating goel scheduling, precedence and memory management in AND parallel execution of logic programs",
	Organization="The International Conference on Logic Programming",
	BookTitle="Proceedings, Melbourne, Australia",
	Pages="556-575",
	Month="May",
	Year="1987",
	Note=""}

@InProceedings{pdf0920,
	Author="P. Tinker, G. Lindstrom",
	Key="Tinker and Lindstrom",
	Title="A performance oriented design for OR parallel logic programming",
	Organization="The International Conference on Logic Programming",
	BookTitle="Proceedings, Melbourne, Australia",
	Pages="601-615",
	Month="May",
	Year="1987",
	Note=""}

@InProceedings{pdf0921,
	Author="L.V. Kale",
	Key="Kale",
	Title="The REDUCE-OR Process Model for parallel evaluation of logic programs",
	Organization="The International Conference on Logic Programming",
	BookTitle="Proceedings, Melbourne, Australia",
	Pages="616-632",
	Month="May",
	Year="1987",
	Note=""}

@InProceedings{pdf0922,
	Author="T. Disz, E. Lusk, R. Overbeek",
	Key="Disz et al.",
	Title="Experiments with OR-parallel logic programs",
	Organization="The International Conference on Logic Programming",
	BookTitle="Proceedings, Melbourne, Australia",
	Pages="576=599",
	Month="May",
	Year="1987",
	Note=""}
 
@InProceedings{pdf0923,
	Author="J.S. Conery",
	Key="Conery",
	Title="Implementing backward execution in non-deterministic AND-parallel systems",
	Organization="The International Conference on Logic Programming",
	BookTitle="Proceedings, Melbourne, Australia",
	Pages="633-653",
	Month="May",
	Year="1987",
	Note=""}
    
@Article{pdf0932,
	Author="Madhur Kohli, Mark E. Giuliano, and Jack Minker",
	Key="Kohli et al.",
	Title="An Overview of the PRISM Project",
	Journal="Computer Architecture News",
	Volume="15",
	Number="1",
	Pages="35-42",
	Month=" March",
	Year="1987"}

@TechReport{pdf0940,
	Author="W. Bibel, K. Kurfess, J. Schumann, K. Aspetsberger, P. Hintenaus",
	Key="Bibel et al.",
	Title="Parallel inference machines",
	Institution="TU Muenchen",
	Number="ATP-68-II-87",
	Month="February",
	Year="1987"}

@TechReport{pdf0941,
	Author="V. A. Saraswat",
	Key="Saraswat",
	Title="Problems with Concurrent Prolog",
	Institution="Carnegie-Mellon University",
	Number="CMU-CS-86-100",
	Month="January",
	Year="1986"}

@InProceedings{pdf0946,
	Author="Barry S. Fagin and Alvin M. Despain",
	Key="Fagin and Despain",
	Title="Performance studies of a parallel Prolog architecture",
	Organization="IEEE/ACM",
	BookTitle="The 14th Annual International Symposium on Computer Architecture",
	Editor="The IEEE Computer Society Press",
	Pages="108 - 116",
	Month="June",
	Year="1987"}

@TechReport{pdf0959,
	Author="Gigalips Group",
	Key="Gigalips",
	Title="Workshop on Logic Programming and Parallelism",
	Institution="SICS",
	Month="July",
	Year="1987"}

@InProceedings{pdf0967,
	Author="K. Shen, D.H.D. Warren",
	Key="Shen and Warren",
	Title="A Simulation Study of the Argonne Model for OR-Parallel Execution of Prolog",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="54-68",
	Month="September",
	Year="1987"}

@InProceedings{pdf0969,
	Author="D. DeGroot",
	Key="DeGroot",
	Title="Restricted And-Parallelism and Side Effects",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="80-89",
	Month="September",
	Year="1987"}

@InProceedings{pdf0970,
	Author="D.H.D. Warren",
	Key="Warren",
	Title="The SRI Model for Or-Parallel Execution of Prolog. Abstract Design and Implementation Issues",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="46-53",
	Month="September",
	Year="1987"}

@InProceedings{pdf0971,
	Author="L.V.Kale",
	Key="Kale",
	Title="'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="125-133",
	Month="September",
	Year="1987"}

@InProceedings{pdf0972,
	Author="T. Chikayama",
	Key="Chikayama",
	Title="Parallel Inference System Research in the FGCS Project",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="274-276",
	Month="September",
	Year="1987"}

@InProceedings{pdf0974,
	Author="H. Westphal, P. Robert, J. Chassin, J.-C. Syre",
	Key="Westphal et al.",
	Title="The PEPSys Model: Combining Backtracking, AND- and OR-parallelism",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="436-448",
	Month="September",
	Year="1987"}

@InProceedings{pdf0975,
	Author="K.A.M. Ali",
	Key="Ali",
	Title="A Method for Implementing Cut in Parallel Execution of Prolog",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="449-456",
	Month="September",
	Year="1987"}

@InProceedings{pdf0976,
	Author="J.S. Conery",
	Key="Conery",
	Title="Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="457-467",
	Month="September",
	Year="1987"}

@InProceedings{pdf0977,
	Author="Y. Kimura, T. Chikayama",
	Key="Kimura and Chikayama",
	Title="An Abstract KL1 Machine and its Instruction Set",
	Organization="IEEE",
	BookTitle="Proceedings - 1987 Symposium on Logic Programming",
	Editor="The IEEE Computer Society Press",
	Pages="468-477",
	Month="September",
	Year="1987"}

@TechReport{pdf0980,
	Author="F.G. McCabe",
	Key="McCabe",
	Title="The Sigma Machine",
	Institution="Imperial College, London",
	Month="March",
	Year="1986"}

@PhDThesis{pdf0983,
	Author="Rong Yang",
	Key="Yang",
	Title="A Parallel Logic Programming Language and its Implementation",
	Institution="Keio University",
	Type="Thesis",
	Year="1986",
	Note="p-prolog"}

@TechReport{pdf0985,
	Author="Ivo Spigel",
	Key="Spigel",
	Title="PENPAL - A Programming Environment for Parallel Logic Programs",
	Institution="Dept. for the Study of Intelligent Systems, Zagreb",
	Month="august",
	Year="1987"}

@TechReport{pdf0987,
	Author="Mark E. Giuliano, Madhur Kohli, Jack Minker, Deepak Sherlekar, Arcot Rajasekar",
	Key="Giuliano et al.",
	Title="Experiments with Parallel Logic Programming in PRISM",
	Institution="University of Maryland",
	Number="UMIACS-TR-87-36, CS-TR-1887",
	Type="Technical Report",
	Month="July",
	Year="1987"}

@TechReport{pdf1004,
	Author="Prasenjit Biswas and Shyh-Chang Su",
	Key="Biswas and Su",
	Title="An Abstract Machine Model to Support Limited-OR{LOR}/Restricted-AND Parallelism{RAP} in Logic Programs",
	Institution="Southern Methodist University, Dallas, Texas",
	Number="87-CSE-5",
	Month="July",
	Year="1987"}

@Unpublished{pdf1006,
	Author="G.Giandonato and G. Sofi",
	Key="CSELT/ESPRIT",
	Title="Parallelizing Logic Programming Based Inference Engines",
	Note="ESPRIT pilot project no. 26, Report Apr.86 - Sept.86, Draft",
	Month="September",
	Year="1987"}

@InProceedings{pdf1007,
	Author="Tebra, H.",
	Key="Tebra",
	Title="Optimistic And-Parallelism in Prolog",
	Organization="Lecture Notes in Computer Science",
	BookTitle="Parallel Architectures and Language Europe {PARLE}",
	Editor="de Bakker, J.W., Nijman, A.J. and Treleaven, P.C.",
	Pages="420-431",
	Month="June",
	Year="1987"}
        @Comment{
        Keywords="stream-parallelism, and-parallelism, precedence, validation"}

@InProceedings{pdf1009,
	Author="Janakiram, V.K., Agrawal, D.P. and Mehrota R.",
	Key="Janakiram et al.",
	Title="Randomized Parallel Algorithms for Prolog Programs and
Backtracking Applications",
	Organization="The Pennsylvania State University",
	BookTitle="Proceedings of the 1987 International Conference on Parallel Processing",
	Editor="Sartaj K. Sahni",
	Pages="278-281",
	Month="August",
	Year="1987"}