COLOG-88 : International Conference on Computer Logic

This proceedings volume contains invited papers and selected contributions on computer logic, providing access to intensive work in this field both in the USSR and in Western countries.