"On methodology of representing knowledge in dynamic domains."

Michael Gelfond, Richard Watson (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics