On the Small-Scope Hypothesis for Testing Answer-Set Programs. - Johannes Oetsch; Michael Prischink; Jörg Pührer; Martin Schwengerer; Hans Tompits (KR, 2012)

Districting and Routing for Security Control. - Michael Prischink; Christian Kloimüllner; Benjamin Biesinger; Günther R. Raidl (HM, 2016)