ECAI 2020 - paper 808
Created: August 1, 2020
ECAI 2020 Presentation for paper 808 "Explicit Negation in Linear-Dynamic Equilibrium Logic" by Pedro Cabalar