Stem choc$ (all stems)

2 papers:

AdaEurope-2012-PoonCT #classification

Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology (PLP, TYC, THT), pp. 162–176.

ICLP-1995-BarbutiFS #execution #modelling #prolog #using

Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.