TY  - RPRT
TI  - aspps --- an implementation of answer-set programming with propositional schemata
AU  - Deborah East. Miroslaw Truszczynski
PY  - 2001
UR  - https://arxiv.org/abs/cs/0107029
ID  - cs/0107029
ER  -