@inproceedings{GiraldezMM16,  
  author    = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
               Guillermo Mart{\'{\i}}n{-}S{\'{a}}nchez and
               Pedro Meseguer},
  title     = {Connecting {ABT} with a {SAT} Solver},
  booktitle = {Proceedings of the 8th European Starting {AI} Researcher
               Symposium ({STAIRS}'16)},
  pages     = {179--184},
  year      = {2016},
}