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