Keyword:successor state axiom

Papers
The Aspect Calculus David Plaisted EasyChair Preprint no. 1256