Author:
Publication: Artificial Intelligence
From model checking to equilibrium checking: Reactive modules for rational verification
Thick set inversion