Proceedings of the International Conference on Symbolic and Logical Computing, Edited by Eric Johnson, Dakota State University, Madison, South Dakota (informationswissenschaftl. Veröffentlichungen)