Action and change in rewriting logic (1999)

by Narciso Martí-Oliet, José Meseguer
Venue:Dynamic Worlds: From the Frame Problem to Knowledge Management