aspps --- an implementation of answer-set programming with propositional schemata
<|reference_start|>aspps --- an implementation of answer-set programming with propositional schemata: We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). The system aspps is designed to process PS+ theories. It consists of two basic modules. The first module, psgrnd, grounds an PS+ theory. The second module, referred to as aspps, is a solver. It computes models of ground PS+ theories.<|reference_end|>
@article{truszczynski2001aspps,
    title={aspps --- an implementation of answer-set programming with propositional
  schemata},
    author={Deborah East. Miroslaw Truszczynski},
    journal={arXiv preprint arXiv:cs/0107029},
    year={2001},
    archivePrefix={arXiv},
    eprint={cs/0107029},
    primaryClass={cs.AI cs.LO}
}