Michael Gelfond, Richard Watson. On Methodology of Representing Knowledge in Dynamic Domains. Electronic Notes in Theoretical Computer Science, 25:121-132, 1999. [doi]
@article{GelfondW99, title = {On Methodology of Representing Knowledge in Dynamic Domains}, author = {Michael Gelfond and Richard Watson}, year = {1999}, url = {http://www.elsevier.com/gej-ng/31/29/23/49/23/show/Products/notes/index.htt#013}, researchr = {https://researchr.org/publication/GelfondW99}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {25}, pages = {121-132}, }