On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
Research article (Nottingham ePrints (University of Nottingham), 2015) · cited 12× · AI/ML