The Work COLOG-88: International Conference on Computer Logic The details The Author Grigori Mints The offers View paperback on Amazon