TY - RPRT TI - Understanding Rulelog Computations in Silk AU - Carl Andersen AU - Brett Benyo AU - Miguel Calejo AU - Mike Dean AU - Paul Fodor AU - Benjamin N. Grosof AU - Michael Kifer AU - Senlin Liang AU - Terrance Swift PY - 2013 UR - https://arxiv.org/abs/1308.4125 ID - 1308.4125 ER -