Daniel G. Schwartz. Dynamic Reasoning Systems. ACM Trans. Comput. Log., 16(4):32, 2015. [doi]
@article{Schwartz15-1, title = {Dynamic Reasoning Systems}, author = {Daniel G. Schwartz}, year = {2015}, doi = {10.1145/2798727}, url = {http://doi.acm.org/10.1145/2798727}, researchr = {https://researchr.org/publication/Schwartz15-1}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {16}, number = {4}, pages = {32}, }