id: 70117521
dt: a
an: 70117521
au: Baumgartner, Peter; Furbach, Ulrich
ti: PROTEIN: A prover with a theory extension interface
so: CADE, 769-773 (1994).
py: 1994
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/3-540-58156-1_57