The implementation of the anti-looping system in a backward reasoning engine

Received on Tuesday, 31 October 2006 18:33:56 UTC