F. Lin and R. Reiter:
How to progress a database II: The STRIPS connection
.
pp. 2001-2007