@article{DBLP:journals/tplp/CabalarFL20, author = {Cabalar, Pedro and Fandinno, Jorge and Lierler, Yuliya}, title = {Modular Answer Set Programming as a Formal Specification Language}, journal = {Theory Pract. Log. Program.}, volume = {20}, number = {5}, pages = {767--782}, year = {2020} }