@inproceedings{DBLP:conf/ecai/AguadoCFPV20,
  author = {Aguado, Felicidad and Cabalar, Pedro and Fandinno, Jorge and P{\'{e}}rez, Gilberto and Vidal, Concepci{\'{o}}n},
  title = {Explicit Negation in Linear-Dynamic Equilibrium Logic},
  booktitle = {{ECAI}},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {325},
  pages = {569--576},
  publisher = {{IOS} Press},
  year = {2020}
}