International Workshops on First Order Theorem Proving

Presenting Constraints

Pub Date : 2009-10-20 DOI: 10.1007/978-3-642-02716-1_1 P. Jeavons

Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization

Pub Date : 2009-02-21 DOI: 10.1007/3-540-46508-1_19 Claus-Peter Wirth

Completeness and Redundancy in Constrained Clause Logic

Pub Date : 1900-01-01 DOI: 10.1007/3-540-46508-1_15 R. Pichler