@Inproceedings{EPTCS306.28,
  author    = {Tekle, K. Tuncay and Liu, Yanhong A.},
  year      = {2019},
  title     = {Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees},
  editor    = {Bogaerts, Bart and Erdem, Esra and Fodor, Paul and Formisano, Andrea and Ianni, Giovambattista and Inclezan, Daniela and Vidal, German and Villanueva, Alicia and Vos, Marina De and Yang, Fangkai},
  booktitle = {{\rm Proceedings 35th International Conference on}
               Logic Programming {\rm (Technical Communications)} ,
               {\rm Las Cruces, NM, USA, September 20-25, 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {306},
  publisher = {Open Publishing Association},
  pages     = {241-254},
  doi       = {10.4204/EPTCS.306.28},
}