Prime Implicates of First Order Formulas

Manoj K. Raut, Arindama Singh. Prime Implicates of First Order Formulas. IJCSA, 1(1):1-11, 2004. [doi]

Abstract

Abstract is missing.