Rainer Decker
-
Formalizing and using persistency
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1