c-ijcai-95-2001Fangzhen Lin and Ray Reiter.
How to Progress a Database II: The STRIPS Connection. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 2001-2007.