@INPROCEEDINGS{AguirreEtAl17b,
  author =       {Luis Aguirre and Narciso Mart{\'\i}-Oliet and 
                  Miguel Palomino and Isabel Pita},
  title =        {Conditional Narrowing Modulo SMT and Axioms},
  booktitle =    {Proceedings of the 19th International Symposium on 
                  Principles and Practice of Declarative Programming}, 
  editor =       {Win Vanhoof and Brigitte Pientka},
  pages =        {17-28},
  publisher =    {{ACM}},
  year =         2017
}