The method requires careful tuning of predicate priorities; small changes in specification produce r...
This proposition has not been edited since the history system was added.