TY  - BOOK
AU  - Leitsch Alexander
TI  - The Resoulution Calculus
SN  - 3540618821
U1  - 515 
ER  -