References
Abdur Rakib
with Alechina Natasha, Logan Brian, Nguyen Hoang Nga (2009). Verifying time, memory and communication bounds in systems of reasoning agents. Synthese, 169 (2), 385-403. https://doi.org/10.1007/s11229-009-9557-1.
with Alechina Natasha, Logan Brian, Nguyen Hoang Nga (2009). Verifying time, memory and communication bounds in systems of reasoning agents. Synthese, 169 (2), 385-403. https://doi.org/10.1007/s11229-009-9557-1.