Agent Interval Temporal Logic - Ruttkamp-Bloem, Emma (University of Pretoria, 2020)
Dissertation (MA)--University of Pretoria, 2020.