KL1 in Condition Graphs on a Connection Machine. - Jonas Barklund; Nils Hagner; Malik Wafin (FGCS, 1988)

Condition Graphs. - Jonas Barklund; Nils Hagner; Malik Wafin (ICLP/SLP, 1988)