Classes of First Order Formulas Under Various Satisfiability Definitions.

Hans Kleine Bning, Theodor Lettmann

Browse the full CADE paper archive.