Scott A. Wallace;John E. Laird
-;-
Behavior bounding: an efficient method for high-level behavior comparison
Journal of Artificial Intelligence Research