Dependency-Based Action Refinement.

Arend Rensink, Heike Wehrheim

Browse the full MFCS paper archive.