Author: International Conference on Computer Logic (1988 Tallinn, Estonia)