\begin{thebibliography}{10}

\bibitem{BuEK93}
O.~Bukhres, A.~Elmagarmid, and e.~K{\"{u}}hn.
\newblock Implementations of the flex transaction model.
\newblock {\em Data Engineering Bulletin}, June 1993.
\newblock Special Issue on Workflow Applications.

\bibitem{BuKP92}
O.~Bukhres, e.~K{\"{u}}hn, and F.~Puntigam.
\newblock A language multidatabase system communication protocol.
\newblock In {\em Proceedings of the 9th International Conference on Data
  Engineering}. IEEE Computer Society, April 1993.

\bibitem{ertl93}
M.~A. Ertl.
\newblock A portable {Forth} engine.
\newblock In {\em EuroFORTH '93 conference proceedings}, Mari\'ansk\'e
  L\'azn\`e (Marienbad), 1993.

\bibitem{ErKr93g}
M.~A. Ertl and A.~Krall.
\newblock {Benutzerdefinierte Constraints}.
\newblock In C.~Beierle, editor, {\em 9. Workshop Logische Programmierung},
  FernUniversit\"at Hagen 146 - 10/1993, pages 18--22, Hagen, 1993.

\bibitem{ErKr93}
M.~A. Ertl and A.~Krall.
\newblock High level constraints over finite domains.
\newblock In M.~Meyer, editor, {\em Constraint Processing, International
  Workshop at CSAM '93}, {DFKI Dokument D-93-14}, pages 65--76, St. Petersburg,
  1993.

\bibitem{Gl93a}
R.~Gl\"{u}ck.
\newblock Generating optimizing specializers.
\newblock ESPRIT Semantique Workshop, Imperial College of Science and
  Technology, University of London, July 1993.

\bibitem{Gl93b}
R.~Gl\"{u}ck.
\newblock Information propagation in driving.
\newblock TOPPS Seminar, DIKU, Dept. of Computer Science, University of
  Copenhagen, April 1993.

\bibitem{Gl93c}
R.~Gl\"{u}ck.
\newblock Metasystem transition schemes.
\newblock Keldysh Institute of Applied Mathematics, Russian Academy of
  Sciences,Moscow, February 1993.

\bibitem{Gl93}
R.~Gl\"{u}ck.
\newblock Occam's razor in metacomputation: the notion of a perfect process
  tree.
\newblock In {\em 3rd International Workshop on Static Analysis}, LNCS 724,
  Padova (Italy), 1993. Springer Verlag.

\bibitem{Kral93}
A.~Krall.
\newblock Clause indexing in {VAM} and {WAM} based compilers.
\newblock In {\em Second International Workshop on Functional/Logic
  Programming}, Bericht 9311. Ludwig-Maximilians-Universit\"at M\"unchen, 1993.

\bibitem{Kueh93b}
e.~K{\"{u}}hn.
\newblock {F}ehlertolerantes {K}oordinieren verteilter autonomer {D}ienste.
\newblock In {\em Proceedings of the Euro-ARCH'93 (European Informatics
  Congress Computing Systems Architecture)}, Munich, October 18--19 1993.
  Springer-Verlag.

\bibitem{Kueh93a}
e.~K{\"{u}}hn.
\newblock Multidatabase language requirements.
\newblock In {\em Proceedings of the 3rd International Workshop on Research
  Interests in data Engineering, Interoperability in Multidatabase Systems,
  RIDE-IMS-93}. IEEE Computer Society, 1993.

\bibitem{KuVa}
e.~K{\"{u}}hn.
\newblock {VPL}, the language and its implementation.
\newblock KFKI, Budapest, November 1993.

\bibitem{KuPP93}
e.~K{\"{u}}hn, H.~Pohlai, and F.~Puntigam.
\newblock Concurrency and backtracking in {VPL}.
\newblock {\em Computer Languages}, 19(3), July 1993.

\bibitem{hung93:Neu}
U.~Neumerkel.
\newblock The binary {WAM}, a simplified prolog engine.
\newblock KFKI, Budapest, November 1993.

\bibitem{TR:Neu:93xx1}
U.~Neumerkel.
\newblock Une transformation de programme bas\'{e}e sur la notion
  d'\'{e}quations entre termes.
\newblock In {\em Secondes journ\'{e}es francophones sur la programmation en
  logique (JFPL'93)}, N\^{\i}mes-Avingnon, France, 1993.

\bibitem{LOPSTR93:Neumerkel}
U.~Neumerkel.
\newblock A transformation based on the equality between terms.
\newblock In {\em Logic Program Synthesis and Transformation, LOPSTR 1993},
  Workshops in Computing. Springer-Verlag, 1994.

\end{thebibliography}
