@inproceedings{Demoen91:RU,
title={{I}mplementation of {P}rolog as binary definite {P}rograms},
author={Demoen, Bart and Mari\"{e}n, Andr\'{e}},
pages={165--176},
  booktitle = {Logic Programming, RCLP Proceedings},
  year =        {1992},
  editor =      {Voronkov, Andrei},
  publisher =   {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  number = {592},
  address =     {Berlin, Heidelberg},
}


@TECHREPORT{Demoen90:KUL,
   author={Demoen, Bart},
   title = {On the {T}ransformation of a {P}rolog Program to a more efficient 
	{B}inary Program},
   institution = "K.U.Leuven",
   number = "130",
   month = dec,
   year = 1990,
}

@inproceedings{LOPSTR93:Neumerkel,
author="Ulrich Neumerkel",
title= "A Transformation Based on the Equality between Terms",
booktitle= "Logic Program Synthesis and Transformation, LOPSTR 1993",
publisher = "Springer-Verlag",
year = "1993"
}


@PHDTHESIS{Neum92,
  author =      "Neumerkel, Ulrich",
  title =       "Specialization of {Prolog} Programs with Partially
		 Static Goals and Binarization",
   type={PhD thesis},
   school={Technische Universit\"{a}t Wien},
   year = 1992,
}

@Misc{lindgren,
  author = "Lindgren, T.",
  title = "Compiling Logic Programs Using a Binary Continuation Style",
  month = dec,
  year = 1992,
  note = "draft, Uppsala University"
}
     
@TECHREPORT{WA83,
   author={Warren, D. H. D.},
   title =  "An  {A}bstract  {P}rolog  {I}nstruction  {S}et",
   institution = "SRI International",
   type="Technical Note",
   number=309,
   month = Oct,
   year = 1983,
}