Skip to main content

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