"Compiling Logical Features into Specialized State-Evaluators by Partial ..."

Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics