@inproceedings{Cantone*1997:Existentially,
  title = "On Existentially Quantified Conjunctions of Atomic Formulae of {L+}",
  author = "D. Cantone and A. Cavarra and E. Omodeo",
  year = "1997",
  booktitle = "FTP97: International Workshop on First Order Theorem Proving",
  month = "NOV",
  note = "RISC-Linz Report Series, No. 97-50, Johannes Kepler Universitaet Linz",
}