On Existentially Quantified Conjunctions of Atomic Formulae of L+
D. Cantone‚ A. Cavarra and E. Omodeo
Book Title
FTP97: International Workshop on First Order Theorem Proving
Month
NOV
Note
RISC−Linz Report Series‚ No. 97−50‚ Johannes Kepler Universitaet Linz
Year
1997