@INPROCEEDINGS{KPE-IMS-1991,
  author = {K{\"{u}}hn, Eva and Puntigam, Franz and Elmagarmid, A.K.},
  title = {{T}ransaction {S}pecification in {M}ultidatabase {S}ystems {B}ased
	on {P}arallel {L}ogic {P}rogramming},
  booktitle = {First International Workshop on Interoperability in Multidatabase
	Systems (IMS)},
  year = {1991},
  pages = {110-117},
  address = {Kyoto, Japan},
  month = {April 7-9},
  publisher = {IEEE},
  doi = {10.1109/IMS.1991.153693},
  keywords = {PROLOG;distributed databases;formal specification;logic programming;parallel
	programming;query languages;transaction processing;VPL Vienna Parallel
	Logic Language;concurrent specification language;flex transactions;heterogeneous
	database systems;multidatabase system;parallel Prolog-based query
	language;parallel logic languages;powerful language;transaction model;transaction
	specification;Application software;Computer languages;Database languages;Database
	systems;Distributed computing;Electronic mail;Logic programming;Petroleum;Prototypes;Specification
	languages}
}