arXiv 2001-07-19 EN aspps --- an implementation of answer-set programming with propositional schemata Truszczynski, Deborah East. Miroslaw
