aspps - An Implementation of Answer-Set Programming with Propositional Schemata.

Deborah East, Miroslaw Truszczynski

Browse the full LPNMR paper archive.