@article{CabalarFandinoLierler2020,
  author    = {Pedro Cabalar and Jorge Fandi{\~n}o and Yuliya Lierler},
  title     = {Modular Answer Set Programming as a formal specification language},
  journal   = {Theory and practice of logic programming},
  volume    = {20},
  number    = {5},
  pages     = {767 -- 782},
  doi       = {10.1017/S1471068420000265},
  year      = {2020},
}