TY  - GEN
AU  - Bibel, Wolfgang
TI  - An approach to a systematic theorem proving procedure in first-order logic
PY  - 1970///
CY  - Munchen
PB  - Universitat Munchen
N1  - Contine bibliografie
ER  -