Model level design pattern instance detection using answer set programming. - Gaurab Luitel; Matthew Stephan; Daniela Inclezan (MiSE@ICSE, 2016)