Proc. Symp. Logik und Algorithmik, Zürich, 1980 (informationswissenschaftl. Veröffentlichungen)