## Johann Schumann

*KPROP — An AND-parallel Theorem Prover for Propositional Logic implemented in KL1*

CADE, 1992.

@inproceedings{CADE-1992-Schumann, author = "Johann Schumann", booktitle = "{Proceedings of the 11th International Conference on Automated Deduction}", doi = "10.1007/3-540-55602-8_215", isbn = "3-540-55602-8", pages = "740--742", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{KPROP — An AND-parallel Theorem Prover for Propositional Logic implemented in KL1}", volume = 607, year = 1992, }