It would seem therefore that the iteration of the PT operation to form a closure is needed ( cfXXX Zadrozny 1987b ) .
intended models circumscription and commonsense reasoningquot
W Zadrozny
This immediate information may be insufficient to decide the truth of certain predicates . It would seem therefore that the iteration of the PT operation to form a closure is needed ( cfXXX Zadrozny 1987b ) . However , there are at least three arguments against iterating PT .
It would seem therefore that the iteration of the PT operation to form a closure is needed ( cfXXX @@CITATIONb ) .