- Title
- Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization
- Authors
- Claus-Peter Wirth
- Abstract and Full Paper
- arXiv
- In
-
Research Report 698/1998 (green/grey series),
Fachbereich Informatik, Universität Dortmund,
- Cite as
- bibtex-entry
- Up-to-dateness
- There is a significantly improved and extended version!