Suryanarayana M. Sripada. A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases. In IJCAI. pages 860-865, 1993.
@inproceedings{Sripada93, title = {A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases}, author = {Suryanarayana M. Sripada}, year = {1993}, tags = {programming, systematic-approach}, researchr = {https://researchr.org/publication/Sripada93}, cites = {0}, citedby = {0}, pages = {860-865}, booktitle = {IJCAI}, }