Books by International Conference on Computer Logic (1988 Tallinn, Estonia)