Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. - Anatoly Chebotarev; Sergey Krivoi (Ershov Memorial Conference, 2006)

Verification of specifications in the language L with respect to temporal properties expressible by GR(1) formulas. - Anatoly Chebotarev (EWDTS, 2013)