@Inproceedings{EPTCS21.8,
  author    = {Marcos, Jo\~ao},
  year      = {2010},
  title     = {Automatic Generation of Proof Tactics for Finite-Valued Logics},
  editor    = {Mackie, Ian and Martins Moreira, Anamaria},
  booktitle = {{\rm Proceedings Tenth International Workshop on}
               Rule-Based Programming,
               {\rm Brasília, Brazil
, 28th June 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {21},
  publisher = {Open Publishing Association},
  pages     = {91-98},
  doi       = {10.4204/EPTCS.21.8},
}