- Beidi Li, Mehul Bhatt, and Carl Schultz. lambdaProlog (QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019), 2019.
- Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011.
BACK TO INDEX