@Inproceedings{EPTCS325.18,
  author    = {Tarau, Paul and de Paiva, Valeria},
  year      = {2020},
  title     = {Deriving Theorems in Implicational Linear Logic, Declaratively},
  editor    = {Ricca, Francesco and Russo, Alessandra and Greco, Sergio and Leone, Nicola and Artikis, Alexander and Friedrich, Gerhard  and Fodor, Paul and Kimmig, Angelika and Lisi, Francesca and Maratea, Marco and Mileo, Alessandra and Riguzzi, Fabrizio},
  booktitle = {{\rm Proceedings 36th International Conference on}
               Logic Programming {\rm (Technical Communications)},
               {\rm UNICAL, Rende (CS), Italy, 18-24th September 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {325},
  publisher = {Open Publishing Association},
  pages     = {110-123},
  doi       = {10.4204/EPTCS.325.18},
}