TY  - GEN
AU  - Bauer, Friedrich L. ed.
TI  - Logic, algebra, and computation
SN  - 3540543155
PY  - 1991///
CY  - Berlin
PB  - Springer-Verlag
KW  - COMPUTER PROGRAMMING-LOGIC PROGRAMMING
KW  - COMPUTER METATHEORY-COMPUTATIONAL LINGUISTICS
ER  -