Lincoln A. Wallen. Automated Theorem Proving in Non-Classical Logics. In SCAI. pages 1-12, 1988.
@inproceedings{Wallen88, title = {Automated Theorem Proving in Non-Classical Logics}, author = {Lincoln A. Wallen}, year = {1988}, tags = {logic}, researchr = {https://researchr.org/publication/Wallen88}, cites = {0}, citedby = {0}, pages = {1-12}, booktitle = {SCAI}, }