TY  - SER
AU  - Hendler, James
AU  - Stoffel, Kilian
TI  - Back-End Technology  for  High-Performance Knowledge-Representation Systems
KW  - Intelligent Systems
KW  - Back-End Technology
ER  -