Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. - Yuliya Lierler; Shaden Smith; Miroslaw Truszczynski; Alex Westlund (PADL, 2012)