[BL1994] On Skolemization and Proof Complexity
BaazLeit94FI (Article)
|
Author(s) | Baaz M. and Leitsch A. |
Title | "On Skolemization and Proof Complexity" |
Date | 1994 |
Journal | Fund. Inform. |
Volume | 20 |
Number | 4 |
Page(s) | 353--379 |
@article{BaazLeit94FI,
journal = {Fund. Inform.},
volume = {20},
title = {On {Skolemization} and Proof Complexity},
author = {Baaz, M. and Leitsch, A.},
year = {1994},
pages = {353--379},
number = {4},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)