Mathematical Problems from Applied Logic II - Gabbay, Dov M.; Zakharyaschev, Michael; Goncharov, Sergei S.; Gabbay, Dov M.; Goncharov, S. S.; Zakharyaschev, Michael; Goncharov, Sergei (Springer New York, 2007)