Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation.

Tomoyuki Kaneko Kazunori Yamaguchi Satoru Kawai Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation. 72-82 2000 PRICAI db/conf/pricai/pricai2000.html#KanekoYK00